Search results for "BAN Logic"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Wouter Teepe	On BAN logic and hash functions or: how an unjustified inference rule causes problems.	Autonomous Agents and Multi-Agent Systems	2009	DBLP DOI BibTeX RDF	Two parrots protocol, Security protocol, Soundness, Cryptographic hash function, BAN logic
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
2	N. T. Abdelmajid, M. Alamgir Hossain, S. Shepherd, K. Mahmoud	Improved Kerberos Security Protocol Evaluation using Modified BAN Logic.	CIT	2010	DBLP DOI BibTeX RDF	Kerberos Protocol, Global Position System, BAN Logic
2	Kai Fan, Hui Li, Yue Wang	Security Analysis of the Kerberos Protocol Using BAN Logic.	IAS	2009	DBLP DOI BibTeX RDF
2	Seong-Soo Park, Jong-Hyouk Lee, Tai-Myoung Chung	Authentication Analysis Based on Certificate for Proxy Mobile IPv6 Environment.	ICCSA	2009	DBLP DOI BibTeX RDF	Proxy MIPv6, EAP-TLS, Authentication, Certificate, BAN Logic
2	José María Sierra, Julio César Hernández Castro, Almudena Alcaide, Joaquín Torres Márquez	Validating the Use of BAN LOGIC.	ICCSA	2004	DBLP DOI BibTeX RDF
2	Kemal Bicakci, Nazife Baykal	One-Time Passwords: Security Analysis Using BAN Logic and Integrating with Smartcard Authentication.	ISCIS	2003	DBLP DOI BibTeX RDF
2	Koji Hasebe, Mitsuhiro Okada	A Logical Verification Method for Security Protocols Based on Linear Logic and BAN Logic.	ISSS	2002	DBLP DOI BibTeX RDF
2	Colin Boyd, Wenbo Mao	On a Limitation of BAN Logic.	EUROCRYPT	1993	DBLP DOI BibTeX RDF
2	Paul C. van Oorschot	An Alternate Explanation of two BAN-logic "failures".	EUROCRYPT	1993	DBLP DOI BibTeX RDF
1	Tingyuan Li, Xiaodong Liu, Zhiguang Qin, Xuanfang Zhang	Formal Analysis for Security of Otway-Rees Protocol with BAN Logic.	DBTA	2009	DBLP DOI BibTeX RDF
1	Xuanwu Zhou, Yang Su, Ping Wei	Further Study on Proxy Authorization and Its Scheme.	Complex	2009	DBLP DOI BibTeX RDF	Proxy authorization, multi-party authorization, multicast communi-cation, forward security, BAN logic
1	Sufatrio, Roland H. C. Yap	Extending BAN Logic for Reasoning with Modern PKI-Based Protocols.	NPC Workshops	2008	DBLP DOI BibTeX RDF	authentication logic, security protocol, Public-Key Infrastructure
1	Yucun Yang, Weiwei He, Suili Feng	Security Analysis and Amendment of 3G Core Network Based on MTPsec.	PACIIA	2008	DBLP DOI BibTeX RDF	MTPsec protocol, Man-in-middle attack, Key exchange, BAN logic
1	Binod Vaidya, Jae-Young Pyun, Sungbum Pan, Nak-Yong Ko	Secure Framework for Integrated Multipath MANET with Internet.	SAINT	2008	DBLP DOI BibTeX RDF	hybrid MANET, security, Internet, AODV, multipath routing
1	Wenbo Shi, Injoo Jang, Hyeong Seon Yoo	A Provable Secure Authentication Protocol Given Forward Secure Session Key.	APWeb	2008	DBLP DOI BibTeX RDF	forward secure session key, authentication, key distribution
1	Changsheng Wan, Aiqun Hu	A Dynamic Network Access Identifier Used for Location Privacy.	FGCN	2007	DBLP DOI BibTeX RDF
1	Young-Gab Kim, Chang-Joo Moon, Dongwon Jeong, Doo-Kwon Baik	Formal Verification of Bundle Authentication Mechanism in Osgi Service Platform: Ban Logic.	International Journal of Software Engineering and Knowledge Engineering	2006	DBLP DOI BibTeX RDF
1	Ying-Long Wang, Ji-Zhi Wang, Mei-Qin Wang	Security Analysis of Routing Protocol for MANET.	CSCWD	2006	DBLP DOI BibTeX RDF
1	Lee-Sub Lee, KyungSun Choi, Dongwon Jeong, Soo-Hyun Park, JuHum Kwon	An Inter-Domain Authentication Mechanism for XMPP/Jabber.	SERA	2006	DBLP DOI BibTeX RDF
1	Frank Kargl, Alfred Geiss, Stefan Schlott, Michael Weber	Secure Dynamic Source Routing.	HICSS	2005	DBLP DOI BibTeX RDF
1	Chen Zhuo, Hong Fan, Hong Liang	A New Authentication and Key Exchange Protocol in WLAN.	ITCC	2005	DBLP DOI BibTeX RDF
1	Jianxin Li, Jinpeng Huai, Qin Li, Xianxian Li	Towards Security Analysis to Binding Update Protocol in Mobile IPv6 with Formal Method.	MSN	2005	DBLP DOI BibTeX RDF
1	Ritesh Kumar Tiwari	Application of Formal Methods for Analysis of Authentication Protocols.	IWDC	2004	DBLP DOI BibTeX RDF
1	Hui Liu, Minglu Li	SVO Logic Based Formalisms of GSI Protocols.	PDCAT	2004	DBLP DOI BibTeX RDF
1	Young-Gab Kim, Dongwon Jeong, Doo-Kwon Baik	Verifying a MAC-Based Service Bundle Authentication Mechanism for the OSGi Service Platform.	WAIM	2004	DBLP DOI BibTeX RDF
1	Feng W. Zhu, Matt W. Mutka, Lionel M. Ni	Facilitating Secure Ad hoc Service Discovery in Public Environments.	COMPSAC	2003	DBLP DOI BibTeX RDF
1	Nesria Agray, Wiebe van der Hoek, Erik P. de Vink	On BAN Logics for Industrial Security Protocols.	CEEMAS	2001	DBLP DOI BibTeX RDF
1	John A. Clark, Jeremy L. Jacob	Searching for a Solution: Engineering Tradeoffs and the Evolution of Provably Secure Protocols. (PDF / PS)	IEEE Symposium on Security and Privacy	2000	DBLP DOI BibTeX RDF
1	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
1	David Monniaux	Decision Procedures for the Analysis of Cryptographic Protocols by Logics of Belief. (PDF / PS)	CSFW	1999	DBLP DOI BibTeX RDF	formal methods, cryptographic protocols, forward chaining, BAN logic
1	Alec Yasinsac, William A. Wulf	A Framework for a Cryptographic Protocol Evaluation Workbench. (PDF / PS)	HASE	1999	DBLP DOI BibTeX RDF
1	Takamichi Saito, Wu Wen, Fumio Mizoguchi	Incremental Analysis and Verification of Authentication Protocols. (PDF / PS)	WETICE	1999	DBLP DOI BibTeX RDF
1	Johann Schumann	Automatic Verification of Cryptographic Protocols with SETHEO.	CADE	1997	DBLP DOI BibTeX RDF
1	Ross J. Anderson	UEPS - A Second Generation Electronic Wallet.	ESORICS	1992	DBLP DOI BibTeX RDF
1	Ralf C. Hauser, E. Stewart Lee	Verification and Modelling of Authentication Protocols.	ESORICS	1992	DBLP DOI BibTeX RDF
1	Dan M. Nessett	A Critique of the Burrows, Abadi and Needham Logic.	Operating Systems Review	1990	DBLP DOI BibTeX RDF