Search results for "security protocols"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Kamil Kulesza, Zbigniew Kotulski	Addressing New Challenges by Building Security Protocols Around Graphs.	Security Protocols Workshop	2003	DBLP DOI BibTeX RDF	extended capabilities, graph theory, quantum computing, security protocols, secret sharing, data security, graph colouring
4	Mike Bond	The Dining Freemasons (Security Protocols for Secret Societies).	Security Protocols Workshop	2005	DBLP DOI BibTeX RDF
4	Virgil D. Gligor	On the Evolution of Adversary Models in Security Protocols (or Know Your Friend and Foe Alike).	Security Protocols Workshop	2005	DBLP DOI BibTeX RDF
4	Liqun Chen, Hoon Wei Lim, Wenbo Mao	User-Friendly Grid Security Architecture and Protocols.	Security Protocols Workshop	2005	DBLP DOI BibTeX RDF	Grid Security Infrastructure, Public-key Authentication Framework, Dynamic Public Keys, Security Protocols, Grid Security
4	Simon N. Foley	Towards a Framework for Autonomic Security Protocols (Discussion).	Security Protocols Workshop	2003	DBLP DOI BibTeX RDF
4	Brian Monahan	From Security Protocols to Systems Security.	Security Protocols Workshop	2003	DBLP DOI BibTeX RDF
4	Simon N. Foley, Hongbin Zhou	Towards a Framework for Autonomic Security Protocols.	Security Protocols Workshop	2003	DBLP DOI BibTeX RDF
4	Roger M. Needham	Keynote Address: Security Protocols and the Swiss Army Knife (Transcript of Discussion).	Security Protocols Workshop	2000	DBLP DOI BibTeX RDF
3	M. Llanos Tobarra, Diego Cazorla, Fernando Cuartero, Gregorio Díaz, María-Emilia Cambronero	Model checking wireless sensor network security protocols: TinySec + LEAP + TinyPK.	Telecommunication Systems	2009	DBLP DOI BibTeX RDF	AVISPA toolbox, Model checking, Security protocols, Wireless sensor
3	Véronique Cortier, Stéphanie Delaune	Safely composing security protocols.	Formal Methods in System Design	2009	DBLP DOI BibTeX RDF	Verification, Composition, Security protocols
3	Béla Genge, Piroska Haller	Middleware for Automated Implementation of Security Protocols.	ESWC	2009	DBLP DOI BibTeX RDF	automated execution, ontologies, Web services, Middleware, security protocols
3	Alessandro Armando, Luca Compagna	SAT-based model-checking for security protocols analysis.	Int. J. Inf. Sec.	2008	DBLP DOI BibTeX RDF	SAT-based model checking, Multi-set rewriting, Security protocols, Bounded model checking
3	Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Moses Liskov, Nancy A. Lynch, Olivier Pereira, Roberto Segala	Analyzing Security Protocols Using Time-Bounded Task-PIOAs.	Discrete Event Dynamic Systems	2008	DBLP DOI BibTeX RDF	Time-bounded task-PIOAs, Probabilistic input/output automata, Security protocols, Oblivious transfer
3	Roland Bouroulet, Raymond R. Devillers, Hanna Klaudel, Elisabeth Pelz, Franck Pommereau	Modeling and Analysis of Security Protocols Using Role Based Specifications and Petri Nets.	Petri Nets	2008	DBLP DOI BibTeX RDF	formal specification, Petri nets, process algebras, security protocols
3	Andreas Bauer 0002, Jan Jürjens	Security protocols, properties, and their monitoring.	SESS	2008	DBLP DOI BibTeX RDF	monitoring of history-based properties, temporal logic, security protocols, runtime verification, language-based security, security automata
3	Ti Zhou, Mengjun Li, Zhoujun Li	Local abstract verification and refinement of security protocols.	FMSE	2008	DBLP DOI BibTeX RDF	verification, refinement, abstraction, security protocols
3	Vladimir Pasca, Anca Jurcut, Reiner Dojen, Tom Coffey	Determining a parallel session attack on a key distribution protocol using a model checker.	MoMM	2008	DBLP DOI BibTeX RDF	attacks on security protocols, formal analysis of security protocols, parallel session attack, model checking
3	Ford-Long Wong, Frank Stajano	Multichannel Security Protocols.	IEEE Pervasive Computing	2007	DBLP DOI BibTeX RDF	authentication, security protocols, commitment, key agreement, channels
3	Dengguo Feng, Weidong Chen	Modular approach to the design and analysis of password-based security protocols.	Science in China Series F: Information Sciences	2007	DBLP DOI BibTeX RDF	weak computational indistinguishability, random oracle model (ROM), provable security, security protocols, standard model
3	Mohamed Saleh, Mourad Debbabi	Modeling Security Protocols as Games.	IAS	2007	DBLP DOI BibTeX RDF	Modeling cryptographic protocols, Security protocols, Game semantics
3	Marcus C. Granado	Resiliency Aspects of Security Protocols.	Security Protocols Workshop	2007	DBLP DOI BibTeX RDF
3	Nachiketh R. Potlapally, Srivaths Ravi, Anand Raghunathan, Niraj K. Jha	A Study of the Energy Consumption Characteristics of Cryptographic Algorithms and Security Protocols.	IEEE Trans. Mob. Comput.	2006	DBLP DOI BibTeX RDF	energy analysis, security, embedded system, low-power, AES, RSA, security protocols, ECC, DES, handheld, SSL, Diffie-Hellman, DSA, cryptographic algorithms, 3DES
3	Miroslaw Kurkowski, Wojciech Penczek, Andrzej Zbrzezny	SAT-Based Verification of Security Protocols Via Translation to Networks of Automata.	MoChArt	2006	DBLP DOI BibTeX RDF	model checking, authentication, security protocols
3	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
3	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
3	Mike Bond, George Danezis	The Dining Freemasons (Security Protocols for Secret Societies).	Security Protocols Workshop	2005	DBLP DOI BibTeX RDF
3	Tuomas Aura, Michael Roe, Anish Mohammed	Experiences with Host-to-Host IPsec.	Security Protocols Workshop	2005	DBLP DOI BibTeX RDF
3	Hoon Wei Lim	User-Friendly Grid Security Architecture and Protocols.	Security Protocols Workshop	2005	DBLP DOI BibTeX RDF
3	Reiner Dojen, Tom Coffey	The concept of layered proving trees and its application to the automation of security protocol verification.	ACM Trans. Inf. Syst. Secur.	2005	DBLP DOI BibTeX RDF	automated protocol verification, logic-based verification of security protocols, cryptography, Security protocols, cryptographic protocols
3	Mikael Buchholtz, Hanne Riis Nielson, Flemming Nielson	A calculus for control flow analysis of security protocols.	Int. J. Inf. Sec.	2004	DBLP DOI BibTeX RDF	Flow logic, Static analysis, Security protocols, Cryptographic protocols, Process calculi
3	Alaaeldin A. Aly, Shakil Akhtar	Cryptography and security protocols course for undergraduate IT students.	SIGCSE Bulletin	2004	DBLP DOI BibTeX RDF	teaching cryptographic algorithms, active learning, security protocols, computing curricula
3	Matt Blaze	Toward a Broader View of Security Protocols (Transcript of Discussion).	Security Protocols Workshop	2004	DBLP DOI BibTeX RDF
3	Matt Blaze	Toward a Broader View of Security Protocols.	Security Protocols Workshop	2004	DBLP DOI BibTeX RDF
3	Ricardo Corin, Sandro Etalle, Pieter H. Hartel, Angelika Mader	Timed model checking of security protocols.	FMSE	2004	DBLP DOI BibTeX RDF	timed model checking, security protocols, timed automata
3	Bruce Christianson	Introduction: Authentic Privacy.	Security Protocols Workshop	2004	DBLP DOI BibTeX RDF
3	Pasi Eronen, Jari Arkko	Authentication Components: Engineering Experiences and Guidelines.	Security Protocols Workshop	2004	DBLP DOI BibTeX RDF
3	Edmund M. Clarke, Somesh Jha, Wilfredo R. Marrero	Efficient verification of security protocols using partial-order reductions.	STTT	2003	DBLP DOI BibTeX RDF	Model checking, Security protocols, Partial-order reduction
3	Tom Coffey, Reiner Dojen, Tomas Flanagan	On the automated implementation of modal logics used to verify security protocols.	ISICT	2003	DBLP DOI BibTeX RDF	authentication, security protocols, protocol verification, mobile security, automated verification
3	Nachiketh R. Potlapally, Srivaths Ravi, Anand Raghunathan, Niraj K. Jha	Analyzing the energy consumption of security protocols.	ISLPED	2003	DBLP DOI BibTeX RDF	energy analysis, security, embedded system, low-power, AES, RSA, security protocols, ECC, DES, handheld, SSL, Diffie-Hellman, DSA, cryptographic algorithms, 3DES
3	Alessandro Armando, Luca Compagna, Pierre Ganty	SAT-Based Model-Checking of Security Protocols Using Planning Graph Analysis.	FME	2003	DBLP DOI BibTeX RDF	SAT encodings, security protocols, bounded model-checking, SAT-solvers
3	Brian Monahan	From Security Protocols to Systems Security (Discussion).	Security Protocols Workshop	2003	DBLP DOI BibTeX RDF
3	Michael R. Hansen, Robin Sharp	Using interval logics for temporal analysis of security protocols.	FMSE	2003	DBLP DOI BibTeX RDF	verification, real-time, security protocols, interval logic
3	Bruce Christianson	Where Have All the Protocols Gone?	Security Protocols Workshop	2003	DBLP DOI BibTeX RDF
3	Victoria Stavridou	Protocol Codesign (Discussion).	Security Protocols Workshop	2003	DBLP DOI BibTeX RDF
3	Giampaolo Bella, Stefano Bistarelli, Fabio Massacci	A Protocol's Life After Attacks....	Security Protocols Workshop	2003	DBLP DOI BibTeX RDF
3	N. Asokan, Valtteri Niemi, Kaisa Nyberg	Man-in-the-Middle in Tunnelled Authentication Protocols.	Security Protocols Workshop	2003	DBLP DOI BibTeX RDF
3	Hassen Saïdi, Victoria Stavridou, Bruno Dutertre	Protocol Codesign.	Security Protocols Workshop	2003	DBLP DOI BibTeX RDF
3	Alec Yasinsac, James A. Davis	Modeling Protocols for Secure Group Communications in Ad Hoc Networks: (Extended Abstract).	Security Protocols Workshop	2002	DBLP DOI BibTeX RDF
3	Luigia Carlucci Aiello, Fabio Massacci	Verifying security protocols as planning in logic programming.	ACM Trans. Comput. Log.	2001	DBLP DOI BibTeX RDF	logic programming, specification language, security protocols, AI planning
3	Jan Jürjens	Encapsulating Rules of Prudent Security Engineering (Transcript of Discussion).	Security Protocols Workshop	2001	DBLP DOI BibTeX RDF
3	Jan Jürjens	Encapsulating Rules of Prudent Security Engineering.	Security Protocols Workshop	2001	DBLP DOI BibTeX RDF
3	Luigia Carlucci Aiello, Fabio Massacci	An Executable Specification Language for Planning Attacks to Security Protocols. (PDF / PS)	CSFW	2000	DBLP DOI BibTeX RDF	Model Checking, Verification, Logic Programs, Planning, Specification Language, Security Protocols
3	Peter Y. A. Ryan	Open Questions (Transcript of Discussion).	Security Protocols Workshop	2000	DBLP BibTeX RDF
3	Peter Landrock	Interactive Identification Protocols (Transcript of Discussion).	Security Protocols Workshop	2000	DBLP DOI BibTeX RDF
3	Giampaolo Bella, Fabio Massacci, Lawrence C. Paulson, Piero Tramontano	Making Sense of Specifications: The Formalization of SET.	Security Protocols Workshop	2000	DBLP DOI BibTeX RDF
3	Giampaolo Bella	Lack of Explicitness Strikes Back (Transcript of Discussion).	Security Protocols Workshop	2000	DBLP DOI BibTeX RDF
3	Matt Blaze, John Ioannidis, Angelos D. Keromytis	Trust Management and Network Layer Security Protocols.	Security Protocols Workshop	1999	DBLP DOI BibTeX RDF
3	Simon N. Foley	External Consistency and the Verification of Security Protocols (Transcript of Discussion).	Security Protocols Workshop	1998	DBLP DOI BibTeX RDF
3	Simon N. Foley	External Consistency and the Verification of Security Protocols (Position Paper).	Security Protocols Workshop	1998	DBLP DOI BibTeX RDF
3	Dieter Gollmann	Insider Fraud (Position Paper).	Security Protocols Workshop	1998	DBLP DOI BibTeX RDF
3	Gavin Lowe	Some new attacks upon security protocols.	CSFW	1996	DBLP DOI BibTeX RDF	authentication, security protocols, public key cryptography, access protocols, cryptographic key
2	Simone Frau, Mohammad Torabi Dashti	Integrated Specification and Verification of Security Protocols and Policies.	CSF	2011	DBLP DOI BibTeX RDF	Access control, Formal methods, Security protocols, Trust management, Decidability
2	Bruce Christianson, Bruno Crispo, James A. Malcolm, Frank Stajano (eds.)	Security Protocols XIX - 19th International Workshop, Cambridge, UK, March 28-30, 2011, Revised Selected Papers	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Bruce Christianson, James A. Malcolm, Vashek Matyas, Michael Roe (eds.)	Security Protocols XVI - 16th International Workshop, Cambridge, UK, April 16-18, 2008. Revised Selected Papers	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Alexander V. Shafarenko, Bruce Christianson	Gearing Up: How to Eat Your Cryptocake and Still Have It.	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Jonathan Anderson, Frank Stajano, Robert N. M. Watson	How to Keep Bad Papers Out of Conferences (with Minimum Reviewer Effort).	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Frank Stajano	Pico: No More Passwords!	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Virgil D. Gligor, Jeannette M. Wing	Towards a Theory of Trust in Networks of Humans and Computers.	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Jirí Kur, Andriy Stetsko	Attack Detection vs Privacy - How to Find the Link or How to Hide It (Transcript of Discussion).	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Ross Anderson	Can We Fix the Security Economics of Federated Authentication? (Transcript of Discussion).	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Michael Roe	The Metaplace Security Model.	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Alf Zugenmaier	Risks of Blind Controllers and Deaf Views in Model View Controller Patterns for Multitag User Interfaces.	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Virgil D. Gligor	Towards a Theory of Trust in Networks of Humans and Computers (Transcript of Discussion).	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Joseph Bonneau	Getting Web Authentication Right (Transcript of Discussion).	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Omar Choudary, Frank Stajano	Make Noise and Whisper: A Solution to Relay Attacks.	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Sjouke Mauw	Selective Location Blinding Using Hash Chains (Transcript of Discussion).	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Joseph Bonneau, Rubin Xu	Scrambling for Lightweight Censorship Resistance.	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Bruce Christianson	Introduction: Alice Doesn't Live Here Anymore (Transcript).	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Mike Burmester	His Late Master's Voice: Barking for Location Privacy.	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Feng Hao	How to Sync with Alice (Transcript of Discussion).	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Bangdao Chen, Long Hoang Nguyen, A. William Roscoe	When Context Is Better Than Identity: Authentication by Context Using Empirical Channels.	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Omar Choudary	Make Noise and Whisper: A Solution to Relay Attacks (Transcript of Discussion).	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Ross Anderson	Can We Fix the Security Economics of Federated Authentication?	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Rubin Xu	Scrambling for Lightweight Censorship Resistance (Transcript of Discussion).	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Matt Blaze	One-Way Cryptography (Transcript of Discussion).	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Sandy Clark, Travis Goodspeed, Perry Metzger, Zachary Wasserman, Kevin Xu, Matt Blaze	One-Way Cryptography.	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Gabriele Lenzini, Sjouke Mauw, Jun Pang	Selective Location Blinding Using Hash Chains.	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Alex Shafarenko	Gearing Up: How to Eat Your Cryptocake and Still Have It (Transcript of Discussion).	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Frank Stajano	Pico: No More Passwords! (Transcript of Discussion).	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Alf Zugenmaier	Risk of Blind Controller Patterns for Multitag User Interfaces (Transcript of Discussion).	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Bangdao Chen	When Context Is Better Than Identity (Transcript of Discussion).	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Jirí Kur, Vashek Matyas, Andriy Stetsko, Petr Svenda	Attack Detection vs. Privacy - How to Find the Link or How to Hide It?	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Yuko Murayama, Yasuhiro Fujihara, Dai Nishioka	The Sense of Security and a Countermeasure for the False Sense.	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	James Malcolm	The Sense of Security and a Countermeasure for the False Sense (Transcript of Discussion).	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Mike Burmester	His Late Master's Voice (Transcript of Discussion).	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Feng Hao, Peter Y. A. Ryan	How to Sync with Alice.	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Joseph Bonneau	Getting Web Authentication Right A Best-Case Protocol for the Remaining Life of Passwords.	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Jonathan Anderson	How to Keep Bad Papers Out of Conferences (Transcript of Discussion).	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Michael Roe	The Metaplace Security Model (Transcript of Discussion).	Security Protocols Workshop	2011	DBLP DOI BibTeX RDF
2	Wan Fokkink, Mohammad Torabi Dashti, Anton Wijs	Partial Order Reduction for Branching Security Protocols.	ACSD	2010	DBLP DOI BibTeX RDF	branching security protocols, bisimulation, partial order reduction