Search results for "Dolev Yao"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Michael Backes, Birgit Pfitzmann	Limits of the BRSIM/UC soundness of Dolev-Yao-style XOR.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF	Dolev-Yao-style, Reactive simulatability/UC, Limitations, XOR, Computational soundness
3	Michael Backes, Birgit Pfitzmann, Michael Waidner	Symmetric authentication in a simulatable Dolev-Yao-style cryptographic library.	Int. J. Inf. Sec.	2005	DBLP DOI BibTeX RDF	Dolev-Yao, Symmetric authentication, Computational soundness
3	Michael Backes, Thomas Groß	Tailoring the Dolev-Yao abstraction to web services realities.	SWS	2005	DBLP DOI BibTeX RDF	Dolev Yao, security proof of protocols, formal method, tool support, security analysis, web services security, federated identity management, protocol model
2	Riccardo Bresciani, Andrew Butterfield	Weakening the Dolev-Yao model through probability.	SIN	2009	DBLP DOI BibTeX RDF	protocol verification
2	Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani	Complexity results for security protocols with Diffie-Hellman exponentiation and commuting public key encryption.	ACM Trans. Comput. Log.	2008	DBLP DOI BibTeX RDF	Diffie-Hellman exponentiation, Dolev-Yao model, complexity, protocols, Algebraic properties
2	Jean Goubault-Larrecq	Towards Producing Formally Checkable Security Proofs, Automatically.	CSF	2008	DBLP DOI BibTeX RDF	Dolev-Yao model, h1, security, model-checking, first-order logic, tree automata, proofs, Coq, Paradox
2	Detlef Kähler, Ralf Küsters, Thomas Wilke	A Dolev-Yao-Based Definition of Abuse-Free Protocols.	ICALP	2006	DBLP DOI BibTeX RDF
2	Michael Backes, Birgit Pfitzmann, Michael Waidner	Limits of the BRSIM/UC Soundness of Dolev-Yao Models with Hashes.	ESORICS	2006	DBLP DOI BibTeX RDF
2	Jan Cederquist, Muhammad Torabi Dashti	An intruder model for verifying liveness in security protocols.	FMSE	2006	DBLP DOI BibTeX RDF	Dolev-Yao intruder, intruder models, security protocols, liveness properties
2	Michael Backes, Markus Dürmuth	A Cryptographically Sound Dolev-Yao Style Security Proof of an Electronic Payment System.	CSFW	2005	DBLP DOI BibTeX RDF
2	Michael Backes, Birgit Pfitzmann	Limits of the Cryptographic Realization of Dolev-Yao-Style XOR.	ESORICS	2005	DBLP DOI BibTeX RDF
2	Theodoros Balopoulos, Stefanos Gritzalis, Sokratis K. Katsikas	Specifying electronic voting protocols in typed MSR.	WPES	2005	DBLP DOI BibTeX RDF	Dolev-Yao intruder, typed MSR, privacy, specification, security protocols, electronic voting
2	Michael Backes, Birgit Pfitzmann	Relating Symbolic and Cryptographic Secrecy.	IEEE Trans. Dependable Sec. Comput.	2005	DBLP DOI BibTeX RDF	Relations between models, probabilistic computation—cryptography, Dolev-Yao model, secrecy, simulatability
2	Michael Backes, Birgit Pfitzmann, Michael Waidner	Justifying a Dolev-Yao Model Under Active Attacks.	FOSAD	2004	DBLP DOI BibTeX RDF
2	Michael Backes, Birgit Pfitzmann	Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library.	CSFW	2004	DBLP DOI BibTeX RDF
2	Michael Backes	A Cryptographically Sound Dolev-Yao Style Security Proof of the Otway-Rees Protocol.	ESORICS	2004	DBLP DOI BibTeX RDF
2	Yannick Chevalier, Ralf Küsters, Michaël Rusinowitch, Mathieu Turuani, Laurent Vigneron	Extending the Dolev-Yao Intruder for Analyzing an Unbounded Number of Sessions.	CSL	2003	DBLP DOI BibTeX RDF
2	Roberto M. Amadio, Witold Charatonik	On Name Generation and Set-Based Analysis in the Dolev-Yao Model.	CONCUR	2002	DBLP DOI BibTeX RDF	name generation, verification, cryptographic protocols, set constraints
2	Wenbo Mao	A Structured Operational Modelling of the Dolev-Yao Threat Model.	Security Protocols Workshop	2002	DBLP DOI BibTeX RDF
1	István Vajda	New look at impossibility result on Dolev-Yao models with hashes.	IACR Cryptology ePrint Archive	2011	DBLP BibTeX RDF
1	Jan Cederquist, Mohammad Torabi Dashti	Complexity of fairness constraints for the Dolev-Yao attacker model.	SAC	2011	DBLP DOI BibTeX RDF
1	Zhiwei Li, Weichao Wang	Deciding Recognizability under Dolev-Yao Intruder Model.	ISC	2010	DBLP DOI BibTeX RDF
1	Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh	A dexptime-Complete Dolev-Yao Theory with Distributive Encryption.	MFCS	2010	DBLP DOI BibTeX RDF
1	Max I. Kanovich, Tajana Ban Kirigin, Vivek Nigam, Andre Scedrov	Bounded Memory Dolev-Yao Adversaries in Collaborative Systems.	Formal Aspects in Security and Trust	2010	DBLP DOI BibTeX RDF
1	Qi Mi, John A. Stankovic, Radu Stoleru	Secure walking GPS: a secure localization and key distribution scheme for wireless sensor networks.	WISEC	2010	DBLP DOI BibTeX RDF	wireless sensor networks, key distribution, secure localization
1	David A. Basin, Cas J. F. Cremers	From Dolev-Yao to Strong Adaptive Corruption: Analyzing Security in the Presence of Compromising Adversaries.	IACR Cryptology ePrint Archive	2009	DBLP BibTeX RDF
1	Anguraj Baskar, Ramaswamy Ramanujam, S. P. Suresh	A Dolev-Yao Model for Zero Knowledge.	ASIAN	2009	DBLP DOI BibTeX RDF
1	Wihem Arsac, Giampaolo Bella, Xavier Chantry, Luca Compagna	Validating Security Protocols under the General Attacker.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
1	Laurent Mazaré, Bogdan Warinschi	Separating Trace Mapping and Reactive Simulatability Soundness: The Case of Adaptive Corruption.	ARSPA-WITS	2009	DBLP DOI BibTeX RDF
1	Bogdan Groza, Marius Minea	A Calculus to Detect Guessing Attacks.	ISC	2009	DBLP DOI BibTeX RDF
1	David A. Basin, Srdjan Capkun, Patrick Schaller, Benedikt Schmidt	Let's Get Physical: Models and Methods for Real-World Security Protocols.	TPHOLs	2009	DBLP DOI BibTeX RDF
1	Michael Backes, Birgit Pfitzmann, Andre Scedrov	Key-dependent message security under active attacks - BRSIM/UC-soundness of Dolev-Yao-style encryption with key cycles.	Journal of Computer Security	2008	DBLP DOI BibTeX RDF
1	Simon Kramer	Cryptographic protocol logic: Satisfaction for (timed) Dolev-Yao cryptography.	J. Log. Algebr. Program.	2008	DBLP DOI BibTeX RDF
1	Theodoros Balopoulos, Stefanos Gritzalis, Sokratis K. Katsikas	Specifying and implementing privacy-preserving cryptographic protocols.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF	Specification of Security Protocols, Dolev-Yao Intruder, Security-typed language, Typed MSR, Jif, Privacy, Linkability
1	Ralf Küsters, Tomasz Truderung	Reducing protocol analysis with XOR to the XOR-free case in the horn theory based approach.	ACM Conference on Computer and Communications Security	2008	DBLP DOI BibTeX RDF	security protocols, algebraic properties
1	Riccardo Focardi, Matteo Centenaro	Information flow security of multi-threaded distributed programs.	PLAS	2008	DBLP DOI BibTeX RDF	symbolic cryptography, information flow, bisimulation, language-based security
1	Michael Backes, Dominique Unruh	Computational Soundness of Symbolic Zero-Knowledge Proofs Against Active Attackers.	CSF	2008	DBLP DOI BibTeX RDF	Formal methods, zero-knowledge proofs, computational soundness
1	Christoph Sprenger, David A. Basin	Cryptographically-Sound Protocol-Model Abstractions.	CSF	2008	DBLP DOI BibTeX RDF	cryptographic soundness, formal methods, theorem proving, Cryptographic protocols, simulatability
1	Bruno Blanchet	A Computationally Sound Mechanized Prover for Security Protocols.	IEEE Trans. Dependable Sec. Comput.	2008	DBLP DOI BibTeX RDF
1	Nazim Benassa	Modelling Attacker's Knowledge for Cascade Cryptographic Protocols.	ABZ	2008	DBLP DOI BibTeX RDF	model for attacker, formal methods, cryptography
1	Wei Wang, Dongyao Ji	Using SPIN to Detect Vulnerabilities in the AACS Drive-Host Authentication Protocol.	FORTE	2008	DBLP DOI BibTeX RDF	AACS, Authenticity, SPIN, LTL, Collusion Attack, Model Checker
1	David Galindo, Flavio D. Garcia, Peter van Rossum	Computational Soundness of Non-Malleable Commitments.	ISPEC	2008	DBLP DOI BibTeX RDF
1	Myrto Arapinis, Stéphanie Delaune, Steve Kremer	From One Session to Many: Dynamic Tags for Security Protocols.	LPAR	2008	DBLP DOI BibTeX RDF
1	Peeter Laud, Long Ngo	Threshold Homomorphic Encryption in the Universally Composable Cryptographic Library.	ProvSec	2008	DBLP DOI BibTeX RDF
1	Ton van Deursen, Sjouke Mauw, Sasa Radomirovic	Untraceability of RFID Protocols.	WISTP	2008	DBLP DOI BibTeX RDF	RFID protocols, formal verification, untraceability
1	Virgil D. Gligor	On the evolution of adversary models in security protocols: from the beginning to sensor networks.	ASIACCS	2007	DBLP DOI BibTeX RDF
1	Alessandro Armando, Roberto Carbone, Luca Compagna	LTL Model Checking for Security Protocols.	CSF	2007	DBLP DOI BibTeX RDF
1	Michael Backes, Birgit Pfitzmann, Andre Scedrov	Key-dependent Message Security under Active Attacks - BRSIM/UC-Soundness of Symbolic Encryption with Key Cycles.	CSF	2007	DBLP DOI BibTeX RDF
1	Véronique Cortier, Stéphanie Delaune, Graham Steel	A Formal Theory of Key Conjuring.	CSF	2007	DBLP DOI BibTeX RDF
1	Guoqiang Shu, David Lee	Testing Security Properties of Protocol Implementations - a Machine Learning Based Approach.	ICDCS	2007	DBLP DOI BibTeX RDF
1	Detlef Kähler, Ralf Küsters, Tomasz Truderung	Infinite State AMC-Model Checking for Cryptographic Protocols.	LICS	2007	DBLP DOI BibTeX RDF
1	Jeffrey A. Vaughan, Steve Zdancewic	A Cryptographic Decentralized Label Model.	IEEE Symposium on Security and Privacy	2007	DBLP DOI BibTeX RDF
1	Iliano Cervesato, Catherine Meadows	One Picture Is Worth a Dozen Connectives: A Fault-Tree Representation of NPATRL Security Requirements.	IEEE Trans. Dependable Sec. Comput.	2007	DBLP DOI BibTeX RDF	C.2.0.f Network-level security and protection, C.2.2.c Protocol verification, F.4.3 Formal Languages
1	Michael Backes, Markus Dürmuth, Ralf Küsters	On Simulatability Soundness and Mapping Soundness of Symbolic Cryptography.	FSTTCS	2007	DBLP DOI BibTeX RDF
1	Dominik Haneberg, Holger Grandy, Wolfgang Reif, Gerhard Schellhorn	Verifying Smart Card Applications: An ASM Approach.	IFM	2007	DBLP DOI BibTeX RDF
1	Yannick Chevalier, Denis Lugiez, Michaël Rusinowitch	Verifying Cryptographic Protocols with Subterms Constraints.	LPAR	2007	DBLP DOI BibTeX RDF
1	Michael Backes, Birgit Pfitzmann, Michael Waidner	Limits of the Reactive Simulatability/UC of Dolev-Yao Models with Hashes.	IACR Cryptology ePrint Archive	2006	DBLP BibTeX RDF
1	Mathieu Baudet	Random Polynomial-Time Attacks and Dolev-Yao Models.	Journal of Automata, Languages and Combinatorics	2006	DBLP BibTeX RDF
1	Sadie Creese, Michael Goldsmith, Bill Roscoe, Ming Xiao	Bootstrapping multi-party ad-hoc security.	SAC	2006	DBLP DOI BibTeX RDF	bootstrapping security, pervasive computing
1	Christoph Sprenger, Michael Backes, David A. Basin, Birgit Pfitzmann, Michael Waidner	Cryptographically Sound Theorem Proving.	CSFW	2006	DBLP DOI BibTeX RDF
1	Bruno Blanchet	A Computationally Sound Mechanized Prover for Security Protocols.	IEEE Symposium on Security and Privacy	2006	DBLP DOI BibTeX RDF
1	Bruno Blanchet, David Pointcheval	Automated Security Proofs with Sequences of Games.	CRYPTO	2006	DBLP DOI BibTeX RDF
1	Michael Backes, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay	Cryptographically Sound Security Proofs for Basic and Public-Key Kerberos.	ESORICS	2006	DBLP DOI BibTeX RDF
1	Michael Backes, Birgit Pfitzmann, Michael Waidner	Formal Methods and Cryptography.	FM	2006	DBLP DOI BibTeX RDF
1	Daniele Micciancio, Saurabh Panjwani	Corrupting One vs. Corrupting Many: The Case of Broadcast and Multicast Encryption.	ICALP	2006	DBLP DOI BibTeX RDF
1	Guoqiang Shu, David Lee	Message Confidentiality Testing of Security Protocols - Passive Monitoring and Active Checking.	TestCom	2006	DBLP DOI BibTeX RDF
1	Mathieu Turuani	The CL-Atse Protocol Analyser.	RTA	2006	DBLP DOI BibTeX RDF
1	Ran Canetti, Jonathan Herzog	Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols.	TCC	2006	DBLP DOI BibTeX RDF
1	Stéphanie Delaune, Florent Jacquemard	Decision Procedures for the Security of Protocols with Probabilistic Encryption against Offline Dictionary Attacks.	J. Autom. Reasoning	2006	DBLP DOI BibTeX RDF	verification, formal methods, cryptographic protocols, dictionary attacks, probabilistic encryption
1	Jonathan Herzog	A computational interpretation of Dolev-Yao adversaries.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Roberto Zunino, Pierpaolo Degano	Weakening the perfect encryption assumption in Dolev-Yao adversaries.	Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Michael Backes, Birgit Pfitzmann	Limits of the Cryptographic Realization of Dolev-Yao-style XOR.	IACR Cryptology ePrint Archive	2005	DBLP BibTeX RDF
1	Laurent Mazaré	Satisfiability of Dolev-Yao Constraints.	Electr. Notes Theor. Comput. Sci.	2005	DBLP DOI BibTeX RDF
1	Wenbo Mao	A structured operational semantic modelling of the Dolev-Yao threat environment and its composition with cryptographic protocols.	Computer Standards & Interfaces	2005	DBLP DOI BibTeX RDF
1	Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Christopher Walstad	Specifying Kerberos 5 cross-realm authentication.	WITS	2005	DBLP DOI BibTeX RDF
1	Michael Backes, Birgit Pfitzmann	Relating Symbolic and Cryptographic Secrecy.	IEEE Symposium on Security and Privacy	2005	DBLP DOI BibTeX RDF
1	Christian Haack, Alan Jeffrey	Timed Spi-Calculus with Types for Secrecy and Authenticity.	CONCUR	2005	DBLP DOI BibTeX RDF
1	Detlef Kähler, Ralf Küsters	Constraint Solving for Contract-Signing Protocols.	CONCUR	2005	DBLP DOI BibTeX RDF
1	Romain Janvier, Yassine Lakhnech, Laurent Mazaré	Completing the Picture: Soundness of Formal Encryption in the Presence of Active Adversaries.	ESOP	2005	DBLP DOI BibTeX RDF
1	David A. Basin, Sebastian Mödersheim, Luca Viganò	Algebraic Intruder Deductions.	LPAR	2005	DBLP DOI BibTeX RDF
1	Sadie Creese, Michael Goldsmith, Richard Harrison, Bill Roscoe, Paul Whittaker, Irfan Zakiuddin	Exploiting Empirical Engagement in Authentication Protocol Design.	SPC	2005	DBLP DOI BibTeX RDF
1	Abdul Sahid Khan, Madhavan Mukund, S. P. Suresh	Generic Verification of Security Protocols.	SPIN	2005	DBLP DOI BibTeX RDF
1	Joshua D. Guttman, Jonathan C. Herzog, John D. Ramsdell, Brian T. Sniffen	Programming Cryptographic Protocols.	TGC	2005	DBLP DOI BibTeX RDF
1	Jean Goubault-Larrecq, Fabrice Parrennes	Cryptographic Protocol Analysis on Real C Code.	VMCAI	2005	DBLP DOI BibTeX RDF
1	David A. Basin, Sebastian Mödersheim, Luca Viganò	OFMC: A symbolic model checker for security protocols.	Int. J. Inf. Sec.	2005	DBLP DOI BibTeX RDF	Model checking, Verification, Formal methods, Constraints, Security protocols
1	Ralf Küsters	On the decidability of cryptographic protocols with open-ended data structures.	Int. J. Inf. Sec.	2005	DBLP DOI BibTeX RDF	Complexity, Cryptographic protocols, Decidability, Transducers
1	Michael Backes, Birgit Pfitzmann	Symmetric Encryption in a Simulatable Dolev-Yao Style Cryptographic Library.	IACR Cryptology ePrint Archive	2004	DBLP BibTeX RDF
1	Roderick Chapman, Adrian Hilton	Enforcing security and safety models with an information flow analysis tool.	SIGAda	2004	DBLP DOI BibTeX RDF	Bell-LaPadula, Dolev-Yao, SPARK Ada, security, Ada, safety, information flow
1	Laurent Mazaré	Decidability of Opacity with Non-Atomic Keys.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF	Dolev-Yao Constraints, Security, Formal Verification, Decidability, Rewriting Systems, Opacity
1	Michele Bugliesi, Riccardo Focardi, Matteo Maffei	Authenticity by tagging and typing.	FMSE	2004	DBLP DOI BibTeX RDF	authentication, static analysis, process calculi
1	Phan Minh Dung, Phan Minh Thang	Stepwise development of security protocols: a speech act-oriented approach.	FMSE	2004	DBLP DOI BibTeX RDF	security protocols, cryptographic protocols
1	Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon	A semantics for web services authentication.	POPL	2004	DBLP DOI BibTeX RDF	web services, XML security, applied pi calculus
1	Stéphanie Delaune, Florent Jacquemard	A Theory of Dictionary Attacks and its Complexity.	CSFW	2004	DBLP DOI BibTeX RDF
1	Michael Backes, Birgit Pfitzmann	A cryptographically sound security proof of the Needham-Schroeder-Lowe public-key protocol.	IEEE Journal on Selected Areas in Communications	2004	DBLP DOI BibTeX RDF
1	David Sinclair, David Gray, Geoff Hamilton	Synthesising Attacks on Cryptographic Protocols.	ATVA	2004	DBLP DOI BibTeX RDF	security, model checking, cryptographic protocols
1	Michele Bugliesi, Riccardo Focardi, Matteo Maffei	Compositional Analysis of Authentication Protocols.	ESOP	2004	DBLP DOI BibTeX RDF
1	Roberto Zunino, Pierpaolo Degano	A Note on the Perfect Encryption Assumption in a Process Calculus.	FoSSaCS	2004	DBLP DOI BibTeX RDF
1	Angelo Troina, Alessandro Aldini, Roberto Gorrieri	Towards a Formal Treatment of Secrecy Against Computational Adversaries.	Global Computing	2004	DBLP DOI BibTeX RDF
1	Jan Cederquist, Muhammad Torabi Dashti	Formal Analysis of a Fair Payment Protocol.	Formal Aspects in Security and Trust	2004	DBLP DOI BibTeX RDF
1	Michael Backes, Birgit Pfitzmann, Michael Waidner	Low-Level Ideal Signatures and General Integrity Idealization.	ISC	2004	DBLP DOI BibTeX RDF