Search results for "authentication and key-exchange protocols"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Haruki Ota, Shinsaku Kiyomoto, Toshiaki Tanaka	Security Verification for Authentication and Key Exchange Protocols, Revisited.	AINA Workshops	2010	DBLP DOI BibTeX RDF	security verification method, authentication and key exchange protocols, verification points
2	Yixin Jiang, Chuang Lin, Xuemin Shen, Minghui Shi	Mutual Authentication and Key Exchange Protocols for Roaming Services in Wireless Mobile Networks.	IEEE Transactions on Wireless Communications	2006	DBLP DOI BibTeX RDF
2	Yixin Jiang, Chuang Lin, Xuemin Shen, Minghui Shi	Mutual Authentication and Key Exchange Protocols for Roaming Services in Wireless Mobile Networks.	IEEE Transactions on Wireless Communications	2006	DBLP DOI BibTeX RDF
2	Ran Canetti, Jonathan Herzog	Universally Composable Symbolic Analysis of Mutual Authentication and Key-Exchange Protocols.	TCC	2006	DBLP DOI BibTeX RDF
2	Yixin Jiang, Chuang Lin, Xuemin Shen, Minghui Shi	Mutual Authentication and Key Exchange Protocols with Anonymity Property for Roaming Services.	NETWORKING	2005	DBLP DOI BibTeX RDF	roaming service, secret-splitting, self-certified, authentication, anonymity, key exchange
1	Haruki Ota, Shinsaku Kiyomoto, Yutaka Miyake	Automatic security verification for 3-party authentication and key exchange protocols.	NSS	2011	DBLP DOI BibTeX RDF
1	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
1	Fuw-Yi Yang, Tzung-Da Wu, Ming-Huei Hsu	Improvement of Hölbl et al. user authentication protocol and password change protocol.	iiWAS	2009	DBLP DOI BibTeX RDF	Diffie-Hellmen, hash functions, password, remote authentication
1	Yijun He, Moon-Chuen Lee, Jie Li	Enhanced Mutual Authentication and Key Exchange Protocol for Wireless Communications.	APWeb	2008	DBLP DOI BibTeX RDF	MAKEP, Elliptic Curve, forward secrecy, user anonymity
1	Stanislaw Jarecki, Jihye Kim, Gene Tsudik	Beyond Secret Handshakes: Affiliation-Hiding Authenticated Key Exchange.	CT-RSA	2008	DBLP DOI BibTeX RDF	privacy, authenticated key exchange, secret handshakes
1	Tri Van Le, Mike Burmester, Breno de Medeiros	Universally composable and forward-secure RFID authentication and authenticated key exchange.	ASIACCS	2007	DBLP DOI BibTeX RDF	RFID authentication and key-exchange protocols, anonymity, forward-security, universal composability
1	Chin-Chen Chang, Keng-Chu Lin	Yet Another Attack on Mutual Authentication and Key Exchange Protocols for Low Power Wireless Communications.	IMECS	2006	DBLP BibTeX RDF
1	Mohamad Badra, Ibrahim Hajjeh	Key-Exchange Authentication Using Shared Secrets.	IEEE Computer	2006	DBLP DOI BibTeX RDF	Authentication and key exchange protocols, Wireless communications, Wireless security
1	Yanjiang Yang, Robert H. Deng, Feng Bao	Fortifying password authentication in integrated healthcare delivery systems.	ASIACCS	2006	DBLP DOI BibTeX RDF	integrated delivery systems (IDSs), password system, user authentication and key exchange, dictionary attack
1	Xiaojian Tian, Duncan S. Wong	Session Corruption Attack and Improvements on Encryption Based MT-Authenticators.	CT-RSA	2006	DBLP DOI BibTeX RDF	MT-authenticator, BCK-model, CK-model, Verifiable Encryption
1	Siaw-Lynn Ng, Chris Mitchell	Comments on mutual authentication and key exchange protocols for low power wireless communications.	IEEE Communications Letters	2004	DBLP DOI BibTeX RDF
1	Hongbin Zhou, Simon N. Foley	Fast automatic synthesis of security protocols using backward search.	FMSE	2003	DBLP DOI BibTeX RDF	backward search, security protocols, automatic generation, belief logic
1	Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic	A Derivation System for Security Protocols and its Logical Formalization.	CSFW	2003	DBLP DOI BibTeX RDF
1	Hung-Yu Chien, Tzong-Chen Wu, Jinn-ke Jan, Yuh-Min Tseng	Cryptanalysis of Chang-Wu's group-oriented authentication and key exchange protocols.	Inf. Process. Lett.	2001	DBLP DOI BibTeX RDF
1	Mihir Bellare, Ran Canetti, Hugo Krawczyk	A Modular Approach to the Design and Analysis of Authentication and Key Exchange Protocols (Extended Abstract).	STOC	1998	DBLP DOI BibTeX RDF
1	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