Search results for "authentication protocols"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Ji Ma, Mehmet A. Orgun	Formalising theories of trust for authentication protocols.	Information Systems Frontiers	2008	DBLP DOI BibTeX RDF	Trust theory, Agents, Authentication protocols, Belief logic
3	Khaled Ouafi, Raphael C.-W. Phan	Privacy of Recent RFID Authentication Protocols.	ISPEC	2008	DBLP DOI BibTeX RDF	privacy, RFID, provably secure, authentication protocols, untraceability
3	Jinghua Wen, Mei Zhang, Xiang Li	The study on the application of BAN logic in formal analysis of authentication protocols.	ICEC	2005	DBLP DOI BibTeX RDF	formalization analysis, authentication protocols, BAN logic
3	Horatiu Cirstea	Specifying Authentication Protocols Using Rewriting and Strategies.	PADL	2001	DBLP DOI BibTeX RDF	model-checking, strategy, rewriting, authentication protocols
3	Martín Abadi	Explicit Communication Revisited: Two New Attacks on Authentication Protocols.	IEEE Trans. Software Eng.	1997	DBLP DOI BibTeX RDF	security, authentication, Cryptography, cryptographic protocols, authentication protocols
3	Taekyoung Kwon, JooSeok Song	Security and efficiency in authentication protocols resistant to password guessing attack. (PDF / PS)	LCN	1997	DBLP DOI BibTeX RDF	password guessing attack resistance, secret, user-chosen weak secret, security-oriented protocols, cipher operations, protocol steps, poorly-chosen weak secret protection, security, efficiency, cryptographic protocols, key exchange, message authentication, authentication protocols, secure communications, random numbers, dictionary attacks
3	Kwok-Yan Lam, Dieter Gollmann	Freshness Assurance of Authentication Protocols.	ESORICS	1992	DBLP DOI BibTeX RDF	Clock Synchronization Protocol, Network Security, Authentication Protocols, Distributed Operating Systems
2	Yong Ki Lee, Lejla Batina, Dave Singelée, Ingrid Verbauwhede	Low-cost untraceable authentication protocols for RFID.	WISEC	2010	DBLP DOI BibTeX RDF	search protocol, tracking attack, privacy, elliptic curve cryptography, authentication protocol, rfid
2	Mike Burmester, Tri Van Le, Breno de Medeiros, Gene Tsudik	Universally Composable RFID Identification and Authentication Protocols.	ACM Trans. Inf. Syst. Secur.	2009	DBLP DOI BibTeX RDF	authentication and key-exchange protocols, universal composability, RFID security
2	Mehmet A. Orgun, Guido Governatori, Chuchang Liu	Modal tableaux for verifying stream authentication protocols.	Autonomous Agents and Multi-Agent Systems	2009	DBLP DOI BibTeX RDF	Fibring logics, System-specific trust theories, Modal tableaux, Temporal logic, Security protocols, Belief logic
2	Matthias Krause, Dirk Stegemann	More on the Security of Linear RFID Authentication Protocols.	Selected Areas in Cryptography	2009	DBLP DOI BibTeX RDF	RFID Authentication, HB ?+?, CKK, CKK 2, Algebraic Attacks, Lightweight Cryptography
2	Ching Yu Ng, Willy Susilo, Yi Mu, Reihaneh Safavi-Naini	New Privacy Results on Synchronized RFID Authentication Protocols against Tag Tracing.	ESORICS	2009	DBLP DOI BibTeX RDF
2	Hung-Yu Chien	Varying Pseudonyms-Based RFID Authentication Protocols with DOS Attacks Resistance.	APSCC	2008	DBLP DOI BibTeX RDF
2	Hung-Yu Chien	DOS Attacks on Varying Pseudonyms-Based RFID Authentication Protocols.	APSCC	2008	DBLP DOI BibTeX RDF
2	Zbigniew Golebiewski, Krzysztof Majcher, Filip Zagórski	Attacks on CKK Family of RFID Authentication Protocols.	ADHOC-NOW	2008	DBLP DOI BibTeX RDF	HB, HB+, authentication, RFID, lightweight cryptography
2	Hung-Min Sun, King-Hang Wang	Defending Secret-Key Based Authentication Protocols against the Stolen-Secret Attack.	ISECS	2008	DBLP DOI BibTeX RDF
2	Khaled Ouafi, Raphael C.-W. Phan	Traceable Privacy of Recent Provably-Secure RFID Protocols.	ACNS	2008	DBLP DOI BibTeX RDF	Privacy, RFID, Authentication protocols, Untraceability
2	Tong-Lee Lim, Tieyan Li, Yingjiu Li	A Security and Performance Evaluation of Hash-Based RFID Protocols.	Inscrypt	2008	DBLP DOI BibTeX RDF	RFID Security and Privacy, Authentication Protocols
2	Hung-Yu Chien, Chen-Wei Huang	Security of ultra-lightweight RFID authentication protocols and its improvements.	Operating Systems Review	2007	DBLP DOI BibTeX RDF	security, privacy, authentication, RFID, desynchronization
2	Tieyan Li, Guilin Wang	Security Analysis of Two Ultra-Lightweight RFID Authentication Protocols.	SEC	2007	DBLP DOI BibTeX RDF
2	Basel Alomair, Loukas Lazos, Radha Poovendran	Passive Attacks on a Class of Authentication Protocols for RFID.	ICISC	2007	DBLP DOI BibTeX RDF	passive attack, privacy, authentication, RFID
2	Jung-Sik Cho, Sang-Soo Yeo, Sung Kwon Kim	An Analysis of RFID Tag Authentication Protocols Using Secret Value.	FGCN	2007	DBLP DOI BibTeX RDF
2	Yang Cui, Kazukuni Kobara, Kanta Matsuura, Hideki Imai	Lightweight Asymmetric Privacy-Preserving Authentication Protocols Secure against Active Attack.	PerCom Workshops	2007	DBLP DOI BibTeX RDF
2	Anders Moen Hagalisletto	Validating Attacks on Authentication Protocols.	ISCC	2007	DBLP DOI BibTeX RDF
2	Anders Moen Hagalisletto	Errors in Attacks on Authentication Protocols.	ARES	2007	DBLP DOI BibTeX RDF
2	Bogdan Groza, Toma-Leonida Dragomir	On the use of one-way chain based authentication protocols in secure control systems.	ARES	2007	DBLP DOI BibTeX RDF
2	Michael Backes, Agostino Cortesi, Riccardo Focardi, Matteo Maffei	A calculus of challenges and responses.	FMSE	2007	DBLP DOI BibTeX RDF	static analysis, authentication protocols, process calculi
2	Patrick P. C. Lee, John C. S. Lui, David K. Y. Yau	Distributed collaborative key agreement and authentication protocols for dynamic peer groups.	IEEE/ACM Trans. Netw.	2006	DBLP DOI BibTeX RDF	dynamic peer groups, security, authentication, group key agreement, secure group communication, rekeying
2	Kaile Su, Qingliang Chen, Abdul Sattar, Weiya Yue, Guanfeng Lv, Xizhong Zheng	Verification of Authentication Protocols for Epistemic Goals via SAT Compilation.	J. Comput. Sci. Technol.	2006	DBLP DOI BibTeX RDF	formal verification, SAT, authentication protocol, knowledge structure
2	Mehmet A. Orgun, Ji Ma, Chuchang Liu, Guido Governatori	Analysing Stream Authentication Protocols in Autonomous Agent-Based Systems.	DASC	2006	DBLP DOI BibTeX RDF
2	Shahabuddin Muhammad, Zeeshan Furqan, Ratan K. Guha	Designing Authentication Protocols: Trends and Issues.	ICN/ICONS/MCL	2006	DBLP DOI BibTeX RDF
2	Duncan S. Wong	Security Analysis of Two Anonymous Authentication Protocols for Distributed Wireless Networks.	PerCom Workshops	2005	DBLP DOI BibTeX RDF
2	Haifeng Qian, Zhenfu Cao, Lichen Wang, Qingshui Xue	Efficient Non-interactive Deniable Authentication Protocols.	CIT	2005	DBLP DOI BibTeX RDF	Tight security, Authentication, Digital signature, MAC, Deniablity, Impersonation attack, Trapdoor permutations
2	Michele Bugliesi, Riccardo Focardi, Matteo Maffei	Analysis of Typed Analyses of Authentication Protocols.	CSFW	2005	DBLP DOI BibTeX RDF
2	Richard Clayton	Insecure Real-World Authentication Protocols (or Why Phishing Is So Profitable).	Security Protocols Workshop	2005	DBLP DOI BibTeX RDF
2	Richard Clayton	Insecure Real-World Authentication Protocols (or Why Phishing Is So Profitable).	Security Protocols Workshop	2005	DBLP DOI BibTeX RDF
2	Joaquín Torres Márquez, Antonio Izquierdo, Arturo Ribagorda, Almudena Alcaide	Secure Electronic Payments in Heterogeneous Networking: New Authentication Protocols Approach.	ICCSA	2005	DBLP DOI BibTeX RDF
2	Ana Isabel González-Tablas Ferreres, Klaus Kursawe, Benjamín Ramos, Arturo Ribagorda	Survey on Location Authentication Protocols and Spatial-Temporal Attestation Services.	EUC Workshops	2005	DBLP DOI BibTeX RDF
2	Nidal Aboudagga, M. Tamer Refaei, Mohamed Eltoweissy, Luiz A. DaSilva, Jean-Jacques Quisquater	Authentication protocols for ad hoc networks: taxonomy and research issues.	Q2SWinet	2005	DBLP DOI BibTeX RDF	protocol taxonomy, ad hoc networks, authentication, network security, credentials, identity verification
2	Peng Wang, Yongdae Kim, Vishal Kher, Taekyoung Kwon	Strengthening Password-Based Authentication Protocols Against Online Dictionary Attacks.	ACNS	2005	DBLP DOI BibTeX RDF
2	Gregorio Díaz, Kim Guldstrand Larsen, Juan José Pardo, Fernando Cuartero, Valentin Valero	An approach to handle real time and probabilistic behaviors in e-commerce: validating the SET protocol.	SAC	2005	DBLP DOI BibTeX RDF	authentication protocols and model checking, system verification and model checking, security, e-commerce, authentication protocols
2	Michele Bugliesi, Riccardo Focardi, Matteo Maffei	Compositional Analysis of Authentication Protocols.	ESOP	2004	DBLP DOI BibTeX RDF
2	Jun Yao, Guihua Zeng	Key Agreement and Identity Authentication Protocols for Ad Hoc Networks.	ITCC	2004	DBLP DOI BibTeX RDF
2	Gregorio Díaz, Fernando Cuartero, Valentín Valero Ruiz, Fernando L. Pelayo	Automatic verification of the TLS handshake protocol.	SAC	2004	DBLP DOI BibTeX RDF	authentication protocols and model checking, system verification and model checking, security, e-Commerce, authentication protocols
2	Philippa J. Hopcroft, Gavin Lowe	Analysing a stream authentication protocol using model checking.	Int. J. Inf. Sec.	2004	DBLP DOI BibTeX RDF	Stream authentication protocols, Model checking, Automatic verification, Data independence
2	Taekyoung Kwon, Seongan Lim	Automation-Considered Logic of Authentication and Key Distribution.	WISA	2003	DBLP DOI BibTeX RDF	formal methods in security, Authentication protocols
2	Alan Harbitter, Daniel A. Menascé	A methodology for analyzing the performance of authentication protocols.	ACM Trans. Inf. Syst. Secur.	2002	DBLP DOI BibTeX RDF	mobile computing, Authentication, performance modeling, public key cryptography, proxy servers, Kerberos
2	Ran Canetti, Catherine Meadows, Paul F. Syverson	Environmental Requirements for Authentication Protocols.	ISSS	2002	DBLP DOI BibTeX RDF
2	Marco Bozzano, Giorgio Delzanno	Automated protocol verification in linear logic.	PPDP	2002	DBLP DOI BibTeX RDF	model checking, linear logic, authentication protocols, bottom-up evaluation
2	Chi-Chun Lo, Yi-Chun Yeh	Authentication protocols for the broadband ISDN billing system.	NOMS	2000	DBLP DOI BibTeX RDF
2	DongGook Park, Colin Boyd, Ed Dawson	Classification of Authentication Protocols: A Practical Approach.	ISW	2000	DBLP DOI BibTeX RDF
2	Paul F. Syverson, Iliano Cervesato	The Logic of Authentication Protocols.	FOSAD	2000	DBLP DOI BibTeX RDF
2	Takamichi Saito, Wu Wen, Fumio Mizoguchi	Incremental Analysis and Verification of Authentication Protocols. (PDF / PS)	WETICE	1999	DBLP DOI BibTeX RDF
2	Johann Schumann	PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols.	CAV	1999	DBLP DOI BibTeX RDF
2	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
2	Danai Patiyoot, S. J. Shepherd	Techniques for Authentication Protocols and Key Distribution on Wireless ATM Networks.	Operating Systems Review	1998	DBLP DOI BibTeX RDF
2	Steve Schneider	Verifying authentication protocols with CSP.	CSFW	1997	DBLP DOI BibTeX RDF	Needham-Schroeder protocol, verification, Authentication, formal methods, security protocols, CSP
2	Michael Hitchens, Vijay Varadharajan	esign Choices For Symmetric Key Based Inter-Domain Authentication Protocols In Distributed Systems.	ACSAC	1996	DBLP DOI BibTeX RDF	design choices, secure interactions, key establishment protocols, client responsibility, trusted server responsibility, inter-domain protocols, symmetric key systems, OSF Distributed Computing Environment, distributed systems, message authentication, authentication protocols, Kerberos
2	Randall W. Lichota, Grace L. Hammonds, Stephen H. Brackin	Verifying The Correctness Of Cryptographic Protocols Using "Convince".	ACSAC	1996	DBLP DOI BibTeX RDF	Convince, theorem proving component, commercial computer aided software engineering tool, StP/OMT, textual notations, Higher Order Logic theorem prover, protocols, cryptographic protocols, authentication protocols, front-end, belief logic, correctness verification, automated support
2	Hung-Yu Lin, Lein Harn	Authentication Protocols for Personal Communication Systems.	SIGCOMM	1995	DBLP DOI BibTeX RDF
2	Li Gong	Optimal authentication protocols resistant to password guessing attacks.	CSFW	1995	DBLP DOI BibTeX RDF	optimal authentification protocols, user passwords, protocols, message authentication, password guessing attacks
2	Wenbo Mao	An augmentation of BAN-like logics.	CSFW	1995	DBLP DOI BibTeX RDF	BAN-like logics augmentation, protocol idealization, rule-based technique, protocol syntax, protocols, formal logic, message authentication, authentication protocols, symbolic manipulation
2	Ralf C. Hauser, E. Stewart Lee	Verification and Modelling of Authentication Protocols.	ESORICS	1992	DBLP DOI BibTeX RDF
2	Colin Boyd	A Formal Framework for Authentication.	ESORICS	1992	DBLP DOI BibTeX RDF	security standards, formal models, Authentication protocols
2	Kwok-Yan Lam, Thomas Beth	Timely Authentication in Distributed Systems.	ESORICS	1992	DBLP DOI BibTeX RDF	Authentication Protocols, Interprocess Communications, Distributed Operating Systems
1	Eun-Kyung Ryu, Hyun-Sung Kim, Kee-Young Yoo	KCI-resilient anonymous wireless link-layer authentication protocols.	Mathematical and Computer Modelling	2012	DBLP DOI BibTeX RDF
1	Lejla Batina, Yong Ki Lee, Stefaan Seys, Dave Singelée, Ingrid Verbauwhede	Extending ECC-based RFID authentication protocols to privacy-preserving multi-party grouping proofs.	Personal and Ubiquitous Computing	2012	DBLP DOI BibTeX RDF
1	Gildas Avoine, Xavier Carpent, Benjamin Martin 0002	Privacy-friendly synchronized ultralightweight authentication protocols in the storm.	J. Network and Computer Applications	2012	DBLP DOI BibTeX RDF
1	Hoda Jannati, Abolfazl Falahati	Cryptanalysis and enhancement of two low cost rfid authentication protocols	CoRR	2012	DBLP BibTeX RDF
1	Md M. Morshed, Anthony S. Atkins, Hongnian Yu	Secure ubiquitous authentication protocols for RFID systems.	EURASIP J. Wireless Comm. and Networking	2012	DBLP DOI BibTeX RDF
1	Carl H. Hauser, Thanigainathan Manivannan, David E. Bakken	Evaluating Multicast Message Authentication Protocols for Use in Wide Area Power Grid Data Delivery Services.	HICSS	2012	DBLP DOI BibTeX RDF
1	Soumyadev Maity, R. C. Hansdah	Membership Models and the Design of Authentication Protocols for MANETs.	AINA Workshops	2012	DBLP DOI BibTeX RDF
1	Alberto Peinado, Jorge Munilla	Lightweight Authentication Protocols based on Rotations and the LPN Problem.	SENSORNETS	2012	DBLP BibTeX RDF
1	Long Hoang Nguyen, A. W. Roscoe	Authentication protocols based on low-bandwidth unspoofable channels: A comparative survey.	Journal of Computer Security	2011	DBLP DOI BibTeX RDF
1	Paolo D'Arco, Alfredo De Santis	On Ultralightweight RFID Authentication Protocols.	IEEE Trans. Dependable Sec. Comput.	2011	DBLP DOI BibTeX RDF
1	Selwyn Piramuthu	RFID mutual authentication protocols.	Decision Support Systems	2011	DBLP DOI BibTeX RDF
1	Dang Nguyen Duc, Kwangjo Kim	Defending RFID authentication protocols against DoS attacks.	Computer Communications	2011	DBLP DOI BibTeX RDF
1	Long H. Nguyen	Rational authentication protocols.	IACR Cryptology ePrint Archive	2011	DBLP BibTeX RDF
1	Long H. Nguyen, A. William Roscoe	On the construction of digest functions for manual authentication protocols.	IACR Cryptology ePrint Archive	2011	DBLP BibTeX RDF
1	Chao Lv, Hui Li, Jianfeng Ma, Meng Zhao	Security analysis of two recently proposed RFID authentication protocols.	Frontiers of Computer Science in China	2011	DBLP DOI BibTeX RDF
1	Lein Harn, Chia-Yin Lee, Changlu Lin, Chin-Chen Chang	Fully Deniable Message Authentication Protocols Preserving Confidentiality.	Comput. J.	2011	DBLP DOI BibTeX RDF
1	Mohammad Hassan Habibi, Mahmoud Gardeshi, Mahdi R. Alaghband	Cryptanalysis of two mutual authentication protocols for low-cost RFID	CoRR	2011	DBLP BibTeX RDF
1	Elloá B. Guedes, Francisco Marcos de Assis	Quantum Communication Complexity of Quantum Authentication Protocols	CoRR	2011	DBLP BibTeX RDF
1	Koen Simoens, Julien Bringer, Hervé Chabanne, Stefaan Seys	Analysis of Biometric Authentication Protocols in the Blackbox Model	CoRR	2011	DBLP BibTeX RDF
1	Daewan Han	Grobner Basis Attacks on Lightweight RFID Authentication Protocols.	JIPS	2011	DBLP DOI BibTeX RDF
1	Alexander Klimm, Sebastian Vogel, Jürgen Becker	Hyperelliptic Curve Cryptoarchitecture for Fast Execution of Schnorr and Okamoto Authentication Protocols.	IPDPS Workshops	2011	DBLP DOI BibTeX RDF
1	Qingsong Yao, Jinsong Han, Yong Qi, Lei Yang, Yunhao Liu	Privacy Leakage in Access Mode: Revisiting Private RFID Authentication Protocols.	ICPP	2011	DBLP DOI BibTeX RDF	access mode, privacy leakage, proven private, RFID, authentication protocol
1	Ocenásek Pavel	Analysis of Authentication Protocols with Scyter: Case Study.	HCI	2011	DBLP DOI BibTeX RDF
1	Abdullah M. Almuhaideb, Phu Dung Le, Bala Srinivasan	Two-Party Mobile Authentication Protocols for Wireless Roaming Networks.	NCA	2011	DBLP DOI BibTeX RDF
1	Jie Huang, Chin-Tser Huang	Secure Mutual Authentication Protocols for Mobile Multi-Hop Relay WiMAX Networks against Rogue Base/Relay Stations.	ICC	2011	DBLP DOI BibTeX RDF
1	Xinghua Li, Lingjuan Deng, Yuan Zhang, Dan Yang, Jianfeng Ma	Analysis of the Authentication Protocols Based on Game Theory.	CIS	2011	DBLP DOI BibTeX RDF
1	Ben Niu, Hui Li, Xiaoyan Zhu, Chao Lv	Security Analysis of Some Recent Authentication Protocols for RFID.	CIS	2011	DBLP DOI BibTeX RDF
1	Panagiotis Rizomiliotis, Evangelos Rekleitis, Stefanos Gritzalis	Designing secure RFID authentication protocols is (still) a non-trivial task.	NSS	2011	DBLP DOI BibTeX RDF
1	Seung-Jae Jang, Young-Hoon Jung, So Yeon Min, Keun-Wang Lee, Moon-Seog Jun	RFID Mutual Authentication Protocols Using Key Exchange Based on Hash Functions.	FGIT-GDC	2011	DBLP DOI BibTeX RDF
1	Masoumeh Safkhani, Nasour Bagheri, Majid Naderi, Yiyuan Luo, Qi Chai	Tag Impersonation Attack on Two RFID Mutual Authentication Protocols.	ARES	2011	DBLP DOI BibTeX RDF
1	Milica Milutinovic, Roel Peeters, Bart De Decker	Secure Negotiation for Manual Authentication Protocols.	Communications and Multimedia Security	2011	DBLP DOI BibTeX RDF
1	Mohammad Hassan Habibi, Mohammad Reza Aref, Di Ma	Addressing Flaws in RFID Authentication Protocols.	INDOCRYPT	2011	DBLP DOI BibTeX RDF
1	Masoumeh Safkhani, Nasour Bagheri, Somitra Kumar Sanadhya, Majid Naderi, Hamid Behnam	On the Security of Mutual Authentication Protocols for RFID Systems: The Case of Wei et al.'s Protocol.	DPM/SETOP	2011	DBLP DOI BibTeX RDF
1	Guomin Yang, Qiong Huang, Duncan S. Wong, Xiaotie Deng	Universal authentication protocols for anonymous wireless communications.	IEEE Transactions on Wireless Communications	2010	DBLP DOI BibTeX RDF
1	Yu Sasaki, Lei Wang 0007, Kazuo Ohta, Kazumaro Aoki, Noboru Kunihiro	Practical Password Recovery Attacks on MD4 Based Prefix and Hybrid Authentication Protocols.	IEICE Transactions	2010	DBLP BibTeX RDF