Search results for "authentication properties"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Stephen H. Brackin	A HOL extension of GNY for automatically analyzing cryptographic protocols.	CSFW	1996	DBLP DOI BibTeX RDF	HOL extension, automatically analyzing cryptographic protocols, higher order logic theory, authentication properties, protocol properties, hash operations, key-exchange algorithms, formal specification, cryptography, message authentication, access protocols, message authentication codes, multiple encryption, belief maintenance, belief logic
1	Zhengjun Cao, Olivier Markowitch	Different Authentication Properties and a Signcryption Scheme Revisited.	CIS	2009	DBLP DOI BibTeX RDF
1	Xihui Chen, Ton van Deursen, Jun Pang	Improving Automatic Verification of Security Protocols with XOR.	ICFEM	2009	DBLP DOI BibTeX RDF
1	Andreas Fuchs, Sigrid Gürgens, Carsten Rudolph	On the Security Validation of Integrated Security Solutions.	SEC	2009	DBLP DOI BibTeX RDF
1	Jesper Bengtson, Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Sergio Maffeis	Refinement Types for Secure Implementations.	CSF	2008	DBLP DOI BibTeX RDF
1	Christopher Dilloway, Gavin Lowe	Specifying Secure Transport Channels.	CSF	2008	DBLP DOI BibTeX RDF	Confidentiality and authentication, Secure transport layers, Specification, Security protocols, Secure channels
1	Peter Csaba Ölveczky, Martin Grimeland	Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude.	IPDPS	2007	DBLP DOI BibTeX RDF
1	Dong Seong Kim, Khaja Mohammad Shazzad, Jong Sou Park	A Framework of Survivability Model for Wireless Sensor Network.	ARES	2006	DBLP DOI BibTeX RDF	Wireless Sensor Network, Survivability, semi-Markov Process, Software Rejuvenation, Discrete Time Markov Chain
1	Iliano Cervesato, Catherine Meadows, Dusko Pavlovic	An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols.	CSFW	2005	DBLP DOI BibTeX RDF
1	Yongjian Li	The Inductive Approach to Strand Space.	FORTE	2005	DBLP DOI BibTeX RDF
1	Andrew D. Gordon	From Typed Process Calculi to Source-Based Security.	SAS	2005	DBLP DOI BibTeX RDF
1	Qingfeng Chen, Chengqi Zhang, Shichao Zhang	ENDL: A Logical Framework for Verifying Secure Transaction Protocols.	Knowl. Inf. Syst.	2005	DBLP DOI BibTeX RDF	Secure transaction protocol, Security, Verification, Integrity, Electronic commerce, Confidentiality
1	Catherine Meadows, Dusko Pavlovic	Deriving, Attacking and Defending the GDOI Protocol.	ESORICS	2004	DBLP DOI BibTeX RDF
1	Giorgio Delzanno, Pierre Ganty	Automatic Verification of Time Sensitive Cryptographic Protocols.	TACAS	2004	DBLP DOI BibTeX RDF
1	Riccardo Focardi, Roberto Gorrieri, Fabio Martinelli	A comparison of three authentication properties.	Theor. Comput. Sci.	2003	DBLP DOI BibTeX RDF
1	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Riccardo Pucella	TulaFale: A Security Tool for Web Services.	FMCO	2003	DBLP DOI BibTeX RDF
1	Anthony H. Dekker	C3PO: A Tool for Automatic Sound Cryptographic Protocol Analysis. (PDF / PS)	CSFW	2000	DBLP DOI BibTeX RDF	Cryptographic protocol, soundness, theorem prover, belief logic
1	Joshua D. Guttman, F. Javier Thayer	Authentication Tests. (PDF / PS)	IEEE Symposium on Security and Privacy	2000	DBLP DOI BibTeX RDF
1	Neil Evans, Steve Schneider	Analysing Time Dependent Security Properties in CSP Using PVS.	ESORICS	2000	DBLP DOI BibTeX RDF	Authentication Protocol Verification, Timed Behaviour, CSP, Automated Theorem Proving, PVS
1	Stephen H. Brackin	Using Checkable Types in Automatic Protocol Analysis.	ACSAC	1999	DBLP DOI BibTeX RDF	Formal Methods, Cryptographic Protocols, Automatic Analysis
1	Steve Schneider	Verifying Authentication Protocols in CSP.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	Needham-Schroeder protocol, verification, Authentication, formal methods, security protocols, CSP
1	Dominique Bolignano	Towards the Formal Verification of Electronic Commerce Protocols.	CSFW	1997	DBLP DOI BibTeX RDF
1	Steve Schneider	Verifying authentication protocols with CSP.	CSFW	1997	DBLP DOI BibTeX RDF	Needham-Schroeder protocol, verification, Authentication, formal methods, security protocols, CSP
1	Bruno Dutertre, Steve Schneider	Using a PVS Embedding of CSP to Verify Authentication Protocols.	TPHOLs	1997	DBLP DOI BibTeX RDF