Search results for "authentication logic"

Found 14 publication records. Showing 14 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Stuart G. Stubblebine, Rebecca N. Wright	An Authentication Logic with Formal Semantics Supporting Synchronization, Revocation, and Recency.	IEEE Trans. Software Eng.	2002	DBLP DOI BibTeX RDF	authentication logic, recent-secure authentication, reasoning about time, authentication, formal methods, computer security, security policies, clock synchronization, revocation, security analysis, protocol analysis, distributed systems security
1	Sufatrio, Roland H. C. Yap	Extending BAN Logic for Reasoning with Modern PKI-Based Protocols.	NPC Workshops	2008	DBLP DOI BibTeX RDF	authentication logic, security protocol, Public-Key Infrastructure
1	Catherine Meadows, Radha Poovendran, Dusko Pavlovic, LiWu Chang, Paul F. Syverson	Distance Bounding Protocols: Authentication Logic Analysis and Collusion Attacks.	Secure Localization and Time Synchronization for Wireless Sensor and Ad Hoc Networks	2007	DBLP DOI BibTeX RDF
1	Junzhou Luo, Ming Yang	Analysis of security protocols based on challenge-response.	Science in China Series F: Information Sciences	2007	DBLP DOI BibTeX RDF	Strand Space Model, network security, protocol analysis, challenge-response
1	Iliano Cervesato, Catherine Meadows, Dusko Pavlovic	An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols.	CSFW	2005	DBLP DOI BibTeX RDF
1	Mark Grechanik, Dewayne E. Perry	Secure Deployment of Components.	Component Deployment	2004	DBLP DOI BibTeX RDF
1	Catherine Meadows, Dusko Pavlovic	Deriving, Attacking and Defending the GDOI Protocol.	ESORICS	2004	DBLP DOI BibTeX RDF
1	Yifa Li	A New Semantics of Authentication Logic.	ICICS	2001	DBLP DOI BibTeX RDF
1	Paul Syvreson	Towards a Strand Semantics for Authentication Logic.	Electr. Notes Theor. Comput. Sci.	1999	DBLP DOI BibTeX RDF
1	Volker Kessler, Heike Neumann	A Sound Logic for Analysing Electronic Commerce Protocols.	ESORICS	1998	DBLP DOI BibTeX RDF	logic of authentication, Payword, semantics, Electronic commerce, formal analysis, SET, micropayment
1	Stuart G. Stubblebine, Rebecca N. Wright	An Authentication Logic Supporting Synchronization, Revocation, and Recency.	ACM Conference on Computer and Communications Security	1996	DBLP DOI BibTeX RDF
1	Paul C. van Oorschot	Extending Cryptographic Logics of Belief to Key Agreement Protocols.	ACM Conference on Computer and Communications Security	1993	DBLP DOI BibTeX RDF
1	Paul C. van Oorschot	An Alternate Explanation of two BAN-logic "failures".	EUROCRYPT	1993	DBLP DOI BibTeX RDF
1	Ralf C. Hauser, E. Stewart Lee	Verification and Modelling of Authentication Protocols.	ESORICS	1992	DBLP DOI BibTeX RDF