Search results for "kerberos"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	Bruno Blanchet, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay	Computationally sound mechanized proofs for basic and public-key Kerberos.	ASIACCS	2008	DBLP DOI BibTeX RDF	PKINIT, key usability, computational model, automatic verification, Kerberos
3	Nitin, Durg Singh Chauhan, Vivek Kumar Sehgal, Ankit Mahanot, Pallavi Singh, Sohit Ahuja, Utkarsh Shrivastava, Manisha Rana, Vineet Punjabi, Shivam Vinay, Nakul Sharma	Security Analysis and Implementation of JUITImage Based Authentication System Using Kerberos Protocol.	ACIS-ICIS	2008	DBLP DOI BibTeX RDF	Image Based Authentication System, Diffie-Hellman key Exchange, Kerberos Protocol, Keystroke Logging, Tempest Attack, Shoulder Attack, Brute-force Attack, AJAX, MySQL
3	Athanasios Moralis, Vassiliki Pouli, Mary Grammatikou, Symeon Papavassiliou, Vasilis Maglaris	Performance Comparison of Web Services Security: Kerberos Token Profile Against X.509 Token Profile.	ICNS	2007	DBLP DOI BibTeX RDF	Web Services Security (WSS), Web Services, Kerberos, Public Key Infrastructure (PKI), X.509
3	Patrick C. Moore, Wilbur R. Johnson, Richard J. Detry	Adapting globus and kerberos for a secure ASCI grid.	SC	2001	DBLP DOI BibTeX RDF	ASCI, GSSAPI, security, grid, globus, kerberos
3	Alan Harbitter, Daniel A. Menascé	The performance of public key-enabled kerberos authentication in mobile computing applications.	ACM Conference on Computer and Communications Security	2001	DBLP DOI BibTeX RDF	mobile computing, authentication, performance modeling, public key cryptography, proxy servers, kerberos
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	Piyush K. Shukla, G. S. Mishra, Prashant G. Girdhar, Pradeep Rusia, Vivek Kapoor	Implementation Comparison of Kerberos Passwords by RC-5 Encryption Type analysis with RC-4 Encryption.	ITNG	2009	DBLP DOI BibTeX RDF	RC-5, TGS, Kerberos, Client, AS
2	Jose M. Such, Juan M. Alberola, Ana García-Fornes, Agustín Espinosa, Vicente J. Botti	Kerberos-Based Secure Multiagent Platform.	ProMAS	2008	DBLP DOI BibTeX RDF
2	Ahmed Alazzawe, Anis Nawaz, Duminda Wijesekera	Extracting Kerberos passwords through RC4-HMAC encryption type analysis.	AICCSA	2008	DBLP DOI BibTeX RDF
2	Sebastian Gajek, Tibor Jager, Mark Manulis, Jörg Schwenk	A Browser-Based Kerberos Authentication Scheme.	ESORICS	2008	DBLP DOI BibTeX RDF
2	Saber Zrelli, T. Medeni, Yoichi Shinoda	Improving Kerberos Security System for Cross-Realm Collaborative Interactions: An Innovative Example of Knowledge Technology for Evolving & Verifiable E-Society.	RIVF	2007	DBLP DOI BibTeX RDF
2	Alexandra Boldyreva, Virendra Kumar	Extended Abstract: Provable-Security Analysis of Authenticated Encryption in Kerberos.	IEEE Symposium on Security and Privacy	2007	DBLP DOI BibTeX RDF
2	Phillip L. Hellewell, Kent E. Seamons	Extensible Pre-authentication Kerberos.	ACSAC	2007	DBLP DOI BibTeX RDF
2	Saber Zrelli, Yoichi Shinoda	Specifying Kerberos over EAP: Towards an integrated network access and Kerberos single sign-on process.	AINA	2007	DBLP DOI BibTeX RDF
2	Yongjian Li, Jun Pang	Extending the Strand Space Method to Verify Kerberos V.	PDCAT	2007	DBLP DOI BibTeX RDF
2	Martin Gilje Jaatun, Inger Anne Tøndel, Frédéric Paint, Tor Hjalmar Johannessen, John Charles Francis, Claire Duranton	Secure Fast Handover in an Open Broadband Access Network using Kerberos-style Tickets.	SEC	2006	DBLP DOI BibTeX RDF
2	Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad	Breaking and Fixing Public-Key Kerberos.	ASIAN	2006	DBLP DOI BibTeX RDF
2	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
2	Jungkyu Kwon, Mokdong Chung	RFID-Based ALE Application Framework Using Context-Based Security Service.	ICCSA	2006	DBLP DOI BibTeX RDF	MAUT, Simple Heuristics, Context-awareness, RFID, Kerberos, ALE
2	Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Christopher Walstad	Specifying Kerberos 5 cross-realm authentication.	WITS	2005	DBLP DOI BibTeX RDF
2	John-Paul Robinson, Jill Gemmill, Pravin Joshi, Purushotham Bangalore, Yiyi Chen, Silbia Peechakara, Song Zhou, Prahalad Achutharao	Web-enabled grid authentication in a non-Kerberos environment.	GRID	2005	DBLP DOI BibTeX RDF
2	Mohamed Ali Kâafar, Lamia Ben Azzouz, Farouk Kamoun, Davor Males	A Kerberos-Based Authentication Architecture for Wireless LANs.	NETWORKING	2004	DBLP DOI BibTeX RDF
2	Shoichi Sakane, Nobuo Okabe, Kenichi Kamada, Hiroshi Esaki	Applying Kerberos to the Communication Environment for Information Appliances. (PDF / PS)	SAINT Workshops	2003	DBLP DOI BibTeX RDF
2	Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov	Verifying Confidentiality and Authentication in Kerberos 5.	ISSS	2003	DBLP DOI BibTeX RDF
2	Cheolhyun Kim, Yeijin Lee, Ilyong Chung	The Design of an Efficient Kerberos Authentication Mechanism Associated with Directory Systems.	GCC	2003	DBLP DOI BibTeX RDF
2	Rong Chen, Yadong Gui, Ji Gao	Modification on Kerberos Authentication Protocol in Grid Computing Environment.	GCC	2003	DBLP DOI BibTeX RDF
2	Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov	A Formal Analysis of Some Properties of Kerberos 5 Using MSR.	CSFW	2002	DBLP DOI BibTeX RDF
2	Bert Valenzuela	Is a modern, robust Windows XP lab environment better than an older, simpler Windows NT4 environment?	SIGUCCS	2002	DBLP DOI BibTeX RDF	AFS, Arizona State University, PC-Rdist, Windows NT4, default user profile, group policy, kix32, lab configuration, logon time, mandatory profile, site configuration, system policy, script, Windows, build, kerberos, lab management, active directory, Windows 2000, Windows XP
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	Alan Harbitter, Daniel A. Menascé	Performance of Public-Key-Enabled Kerberos Authentication in Large Networks. (PDF / PS)	IEEE Symposium on Security and Privacy	2001	DBLP DOI BibTeX RDF
2	Jalal Al-Muhtadi, Manish Anand, M. Dennis Mickunas, Roy H. Campbell	Secure Smart Homes using Jini and UIUC SESAME.	ACSAC	2000	DBLP DOI BibTeX RDF	secure smart homes, dynamically configurable consumer devices, distributed security mechanism, Tiny SESAME, distributed devices, Java, Java, access control, distributed processing, public key cryptography, public key cryptography, handheld devices, authorisation, Jini, component-based software, home automation, Kerberos, access rights, Sun Microsystems, smart devices
2	Naomaru Itoi, Peter Honeyman	Practical Security Systems with Smartcards. (PDF / PS)	Workshop on Hot Topics in Operating Systems	1999	DBLP DOI BibTeX RDF	security, operating systems, Internet Protocol (IP), Smartcard, Kerberos, filesystem
2	Giampaolo Bella, Lawrence C. Paulson	Mechanising BAN Kerberos by the Inductive Method.	CAV	1998	DBLP DOI BibTeX RDF
2	Giampaolo Bella, Lawrence C. Paulson	Kerberos Version 4: Inductive Analysis of the Secrecy Goals.	ESORICS	1998	DBLP DOI BibTeX RDF	secure key, non-expired timestamp, inductive method, machine proof, secrecy
2	John C. Mitchell, Mark Mitchell, Ulrich Stern	Automated analysis of cryptographic protocols using Mur-phi.	IEEE Symposium on Security and Privacy	1997	DBLP DOI BibTeX RDF	cryptographic protocol analysis, Mur/spl phi/, general-purpose state enumeration tool, security-related protocols, faulty TMN protocol, replay attack detection, cryptography, methodology, errors, client server system, network operating system, computation time, Kerberos
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	Adam L. Young, Moti Yung	The Dark Side of "Black-Box" Cryptography, or: Should We Trust Capstone?	CRYPTO	1996	DBLP DOI BibTeX RDF	Cryptanalytic attacks, Private key, applied systems, design and manufacturing of cryptographic devices and software, auto-escrowing keys, software, RSA, randomness, hardware, Public Key, pseudorandomness, Kerberos, key escrow, DSA, ElGamal, subliminal channels, Capstone
2	John T. Kohl	The use of Encryption in Kerberos for Network Authentication.	CRYPTO	1989	DBLP DOI BibTeX RDF
1	Saber Zrelli, Nobuo Okabe, Yoichi Shinoda	EAP-Kerberos: A Low Latency EAP Authentication Method for Faster Handoffs in Wireless Access Networks.	IEICE Transactions	2012	DBLP BibTeX RDF
1	Qasim Siddique	Kerberos Authentication in Wireless Sensor Networks	CoRR	2012	DBLP 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.	Int. J. Inf. Sec.	2011	DBLP DOI BibTeX RDF
1	Jung Eun Kim, Yoohwan Kim	A Secure Credit Card Transaction Method Based on Kerberos.	JCSE	2011	DBLP DOI BibTeX RDF
1	Eman El-Emam, Magdy Koutb, Hamdy Kelash, Osama S. Faragallah	An Authentication Protocol Based on Kerberos 5.	I. J. Network Security	2011	DBLP BibTeX RDF
1	Fernando Pereñiguez-Garcia, Rafael Marín López, Georgios Kambourakis, Stefanos Gritzalis, Antonio F. Gómez-Skarmeta	PrivaKERB: A user privacy framework for Kerberos.	Computers & Security	2011	DBLP DOI BibTeX RDF
1	Rafael Marín López, Fernando Pereñiguez-Garcia, Gabriel López, Alejandro Pérez-Méndez	Providing EAP-based Kerberos pre-authentication and advanced authorization for network federations.	Computer Standards & Interfaces	2011	DBLP DOI BibTeX RDF
1	Carlisle Adams	Kerberos Authentication Protocol.	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
1	Radmilo Racic	Kerberos.	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
1	Farshad Amin, Amir Hossein Jahangir	Time and energy cost analysis of Kerberos security protocol in Wireless Sensor Networks.	IAS	2011	DBLP DOI BibTeX RDF
1	Yishi Zhao, Nigel Thomas	A Simplified Solution of a PEPA Model of Kerberos Protocol.	CyberC	2011	DBLP DOI BibTeX RDF
1	Lai-Cheng Cao	Secure Negotiation Approach for Share-Secret-Key of Kerberos Service.	AICI	2011	DBLP DOI BibTeX RDF
1	Yongjian Li, Jun Pang	Extending the Strand Space Method with Timestamps: Part II Application to Kerberos V.	J. Information Security	2010	DBLP DOI BibTeX RDF
1	Anish Prasad Shrestha, Dong-You Choi, Goo-Rak Kwon, Seung Jo Han	Kerberos based authentication for inter-domain roaming in wireless heterogeneous network.	Computers & Mathematics with Applications	2010	DBLP DOI BibTeX RDF
1	Lai-Cheng Cao	Enhancing Distributed Web Security Based on Kerberos Authentication Service.	WISM	2010	DBLP DOI BibTeX RDF
1	N. T. Abdelmajid, M. Alamgir Hossain, S. Shepherd, K. Mahmoud	Location-Based Kerberos Authentication Protocol.	SocialCom/PASSAT	2010	DBLP DOI BibTeX RDF
1	Florian Kohlar, Jörg Schwenk, Meiko Jensen, Sebastian Gajek	Secure Bindings of SAML Assertions to TLS Sessions.	ARES	2010	DBLP DOI BibTeX RDF	Authentication, Single-Sign-On, SSL, SAML, TLS, Kerberos, Federated Identity Management
1	Athanasios Moralis, Vassiliki Pouli, Symeon Papavassiliou, Vasilis Maglaris	A Kerberos security architecture for web services based instrumentation grids.	Future Generation Comp. Syst.	2009	DBLP DOI BibTeX RDF
1	Sandeep Kumar, Neeraj Tyagi	A Novel Security Protocol for Mobile Ad-hoc Networks Using Kerberos.	ICWN	2009	DBLP BibTeX RDF
1	Jasone Astorga, Jon Matías, Purificación Sáiz, Eduardo Jacob	Security for Heterogeneous and Ubiquitous Environments Consisting of Resource-Limited Devices: An Approach to Authorization Using Kerberos.	SEWCN	2009	DBLP DOI BibTeX RDF
1	Anish Prasad Shrestha, Kyu Jin Park, Jae Sung Park, Dong-You Choi, Seung Jo Han	Kerberos Based Authentication Protocol with Improved Identity Protection in 3G Network.	PACCS	2009	DBLP DOI BibTeX RDF
1	Qin Li, Fan Yang, Huibiao Zhu, Longfei Zhu	Formal Modeling and Analyzing Kerberos Protocol.	CSIE	2009	DBLP DOI BibTeX RDF
1	Pedro Chavez Lugo, Juan Manuel Garcia Garcia, Juan J. Flores	A System for Distributed SELinux Policy Management.	NSS	2009	DBLP DOI BibTeX RDF	Access, distributed, control, policies, administration, Kerberos, SELinux
1	Hassnaa Moustafa, Jacky Forestier, Mohamed Chaari	Distributed authentication for services commercialization in ad hoc networks.	Mobility Conference	2009	DBLP DOI BibTeX RDF	authentication access controls, services commercialization using ad hoc networks, ad hoc networks
1	Béla Genge, Piroska Haller	Towards Automated Secure Web Service Execution.	Networking	2009	DBLP DOI BibTeX RDF	automated execution, ontology, Web services, Security protocols
1	Andreas Leicher, Nicolai Kuntze, Andreas U. Schmidt	Implementation of a Trusted Ticket System.	SEC	2009	DBLP DOI BibTeX RDF
1	Hongjun Liu, Ping Luo, Daoshun Wang	A distributed expansible authentication model based on Kerberos.	J. Network and Computer Applications	2008	DBLP DOI BibTeX RDF
1	Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad	Breaking and fixing public-key Kerberos.	Inf. Comput.	2008	DBLP DOI BibTeX RDF
1	Dane Henry, Seung-yun Kim, Osman Guzide	Achieving Single Sign-on in a Heterogeneous Collaborative Enterprise Environment: The Kerberos Approach.	ISCA PDCCS	2008	DBLP BibTeX RDF
1	Atta-ur-Rahman, Mureed Hussain, Kahina Kabri, Dominique Seret	Kerberos Implementation in Manets.	SECRYPT	2008	DBLP BibTeX RDF
1	Eisaku Sakane, Manabu Higashida, Shingo Okamura, Toyokazu Akiyama, Ken-ichi Baba, Shinji Shimojo, Yuuichi Teranishi	An Authentication System Development in Application of Grid Middleware to a Nationwide Joint-Use Environment for Computing.	SAINT	2008	DBLP DOI BibTeX RDF	NAREGI, Authentication, Grid middleware, Kerberos
1	Liu Peng, Zong Rui, Liu Sizuo	A New Model for Authentication and Authorization across Heterogeneous Trust-Domain.	CSSE	2008	DBLP DOI BibTeX RDF
1	Alexandros Papanikolaou, Christos Ilioudis, Christos K. Georgiadis, Elias Pimenidis	The importance of biometric sensor continuous secure monitoring.	ICDIM	2008	DBLP DOI BibTeX RDF
1	Shengli Liu, Wenbing Wang, Yuefei Zhu	A New-Style Domain Integrating Management of Windows and UNIX.	WAIM	2008	DBLP DOI BibTeX RDF
1	Ti Zhou, Zhoujun Li, Mengjun Li, Huowang Chen	Constraint Abstraction in Verification of Security Protocols.	FAW	2008	DBLP DOI BibTeX RDF	time sensitive, formal verification, security protocol, logic model, constraint system
1	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
1	Alexandra Boldyreva, Virendra Kumar	Provable-Security Analysis of Authenticated Encryption in Kerberos.	IACR Cryptology ePrint Archive	2007	DBLP BibTeX RDF
1	Heesun Park, Stan Redford	Client certificate and IP address based multi-factor authentication for J2EE web applications.	CASCON	2007	DBLP DOI BibTeX RDF	IP address checking, J2EE web application, SSL client certificate, certificate based authentication, multi-factor authentication
1	Johann Großschädl, Alexander Szekely, Stefan Tillich	The energy cost of cryptographic key establishment in wireless sensor networks.	ASIACCS	2007	DBLP DOI BibTeX RDF	energy evaluation, wireless networking, cryptography, security protocols, key establishment
1	Ji Ma, Mehmet A. Orgun	Specifying Agent Beliefs for Authentication Systems.	ECUMN	2007	DBLP DOI BibTeX RDF
1	Peter Csaba Ölveczky, Martin Grimeland	Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude.	IPDPS	2007	DBLP DOI BibTeX RDF
1	Chris Desmarais, Xiaojun Shen, Shervin Shirmohammadi, Alex Cameron, Nicolas D. Georganas, Ian Kerr	PLUTO - A Privacy Control Protocol for e-Commerce Communities.	CEC/EEE	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	Robin Sharp, Michael R. Hansen	Timed Traces and Strand Spaces.	CSR	2007	DBLP DOI BibTeX RDF	verification, real-time, Security protocols, interval logic
1	Arnab Roy 0001, Anupam Datta, Ante Derek, John C. Mitchell	Inductive Proofs of Computational Secrecy.	ESORICS	2007	DBLP DOI BibTeX RDF
1	Gizela Jakubowska, Wojciech Penczek	Is Your Security Protocol on Time ?	FSEN	2007	DBLP DOI BibTeX RDF
1	Arnab Roy 0001, Anupam Datta, John C. Mitchell	Formal Proofs of Cryptographic Security of Diffie-Hellman-Based Protocols.	TGC	2007	DBLP DOI BibTeX RDF
1	Frederick Butler, Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Christopher Walstad	Formal analysis of Kerberos 5.	Theor. Comput. Sci.	2006	DBLP DOI BibTeX RDF
1	Iliano Cervesato, Aaron D. Jaggard, Andre Scedrov, Joe-Kai Tsay, Christopher Walstad	Breaking and Fixing Public-Key Kerberos.	IACR Cryptology ePrint Archive	2006	DBLP 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.	IACR Cryptology ePrint Archive	2006	DBLP BibTeX RDF
1	Kyuhee An, Kiyeal Lee, Mokdong Chung	Design and Implementation of an RFID-based Enterprise Application Framework based on Abstract BP and Kerberos.	JIPS	2006	DBLP BibTeX RDF
1	Ahmed Alazzawe, Anis Alazzawe, Asad Nawaz, Duminda Wijesekera	Analyzing Preauthentication Timestamps To Crack Kerberos V Passwords.	WOSIS	2006	DBLP BibTeX RDF
1	Alessandro Basile, Stefano Conti, Fabio Galliano, Fred Daneshgaran, Marina Mondin, Massimiliano Laddomada	An end-to-end simulator for an open broadband access network.	MOBIWAC	2006	DBLP DOI BibTeX RDF	Kerberos Ticket, OBAN, OPNET, EAP, CARD
1	Laurianne McLaughlin, Barton C. Massey	In the News.	IEEE Software	2006	DBLP DOI BibTeX RDF	identity metasystem, InfoCard, Security Assertion Markup Language, Sxip Identity, Liberty Alliance, GOSCON, security, Internet, IT, open source, government, SAML, Kerberos, X.509
1	Terry Fleury, Jim Basney, Von Welch	Single sign-on for java web start applications using myproxy.	SWS	2006	DBLP DOI BibTeX RDF	session passwords, single sign-on, grid portals
1	Benjamin W. Long, Colin J. Fidge	Formally Analysing a Security Protocol for Replay Attacks.	ASWEC	2006	DBLP DOI BibTeX RDF
1	Dominik Zalewski	Security Enhancement of Java Remote Method Invocation.	DepCoS-RELCOMEX	2006	DBLP DOI BibTeX RDF
1	Yuping Deng, Xiaowei Guo, Xiamu Niu	A New Design Scheme of Role-Based Access Control Based on PKI.	ICICIC	2006	DBLP DOI BibTeX RDF
1	Khanh V. Nguyen	Simplifying Peer-to-Peer Device Authentication Using Identity-Based Cryptography.	ICNS	2006	DBLP DOI BibTeX RDF
1	Saber Zrelli, Yoichi Shinoda	Single sign-on framework for AAA operations within commercial mobile networks.	ARES	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