Search results for "Kerberos"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
20	Jonathan T. Trostle, Irina Kosinovsky, Michael M. Swift	Implementation of Crossrealm Referral Handling in the MIT Kerberos Client.	NDSS	2001	DBLP BibTeX RDF
20	Assar Westerlund, Johan Danielsson	Heimdal and Windows 2000 Kerberos - How to Get Them to Play Together.	USENIX Annual Technical Conference, FREENIX Track	2001	DBLP BibTeX RDF
20	Theodore Y. Ts'o	Telnet Authentication: Kerberos Version 5.	RFC	2000	DBLP DOI BibTeX RDF
20	Naomaru Itoi	Secure Coprocessor Integration with Kerberos V5.	USENIX Security Symposium	2000	DBLP BibTeX RDF
20	Kirsten Hildrum	Security of Encrypted rlogin Connections Created With Kerberos IV.	NDSS	2000	DBLP BibTeX RDF
20	Paul B. Hill	Kerberos Interoperability Issues.	LISA-NT	2000	DBLP BibTeX RDF
20	Ari Medvinsky, Matthew Hur	Addition of Kerberos Cipher Suites to Transport Layer Security (TLS).	RFC	1999	DBLP DOI BibTeX RDF
20	Mike Eisler	NFS Version 2 and Version 3 Security Issues and the NFS Protocol's Use of RPCSEC_GSS and Kerberos V5.	RFC	1999	DBLP DOI BibTeX RDF
20	Thomas D. Wu	A Real-World Analysis of Kerberos Password Security.	NDSS	1999	DBLP BibTeX RDF
20	Naomaru Itoi, Peter Honeyman	Smartcard Integration with Kerberos V5.	Smartcard	1999	DBLP BibTeX RDF
20	Glenn Pittaway	Distributed security services in microsoft Windows NT 5.0 - Kerberos and the active directory.	Inf. Secur. Tech. Rep.	1998	DBLP DOI BibTeX RDF
20	Peter Brundrett	Kerberos authentication in Windows NT 5.0 domains.	Inf. Secur. Tech. Rep.	1998	DBLP DOI BibTeX RDF
20	Johan Danielsson, Assar Westerlund	Heimdal: I18N Free Kerberos Implementation.	USENIX Annual Technical Conference	1998	DBLP BibTeX RDF
20	Giampaolo Bella, Elvinia Riccobene	Formal Analysis of the Kerberos Authentication System.	J. Univers. Comput. Sci.	1997	DBLP DOI BibTeX RDF
20	Bryn Dole, Steven W. Lodin, Eugene H. Spafford	Misplaced Trust: Kerberos 4 Session Keys.	NDSS	1997	DBLP DOI BibTeX RDF
20	Marvin A. Sirbu, John C.-I. Chuang	Distributed Authentication in Kerberos Using Public Key Cryptography.	NDSS	1997	DBLP DOI BibTeX RDF
20	Mahmoud T. El-Hadidi, Nadia Hamed Hegazi, Heba Kamal Aslan	Performance analysis of the Kerberos protocol in a distributed environment.	ISCC	1997	DBLP DOI BibTeX RDF
20	Donald T. Davis, Daniel E. Geer Jr.	Kerberos with Clocks Adrift: History, Protocols, and Implementation.	Comput. Syst.	1996	DBLP BibTeX RDF
20	John Linn	The Kerberos Version 5 GSS-API Mechanism.	RFC	1996	DBLP DOI BibTeX RDF
20	Armando Fox, Steven D. Gribble	Security on the Move: Indirect Authentication using Kerberos.	MobiCom	1996	DBLP DOI BibTeX RDF	Internet
20	Don Davis	Kerberos Plus RSA for World Wide Web Security.	USENIX Workshop on Electronic Commerce	1995	DBLP BibTeX RDF
20	William A. Adamson, Jim Rees, Peter Honeyman	Joining Security Realms: A Single Login for NetWare and Kerberos.	USENIX Security Symposium	1995	DBLP BibTeX RDF
20	Don Davis, Daniel E. Geer Jr.	Kerberos Security with Clocks Adrift.	USENIX Security Symposium	1995	DBLP BibTeX RDF
20	Ravi Ganesan	Yaksha: augmenting Kerberos with public key cryptography.	NDSS	1995	DBLP DOI BibTeX RDF
20	P. V. McMahon	SESAME V2 public key and authorisation extensions to Kerberos.	NDSS	1995	DBLP DOI BibTeX RDF
20	Jeffrey I. Schiller, Derek R. Atkins	Scaling the Web of Trust: Combining Kerberos and PGP to Provide Large Scale Authentication.	USENIX Winter	1995	DBLP BibTeX RDF
20	Ray Kaplan, Joe Kovara, Glen Zorn	Planning and Implementing Kerberos for Large Distributed Systems Part 1.	Inf. Secur. J. A Glob. Perspect.	1994	DBLP DOI BibTeX RDF
20	Ray Kaplan, Glen Zorn, Joe Kovara	Planning and Implementing Kerberos for Large Distributed Systems: Part 2.	Inf. Secur. J. A Glob. Perspect.	1994	DBLP DOI BibTeX RDF
20	B. Clifford Neuman, Theodore Y. Ts'o	Kerberos: an authentication service for computer networks.	IEEE Commun. Mag.	1994	DBLP DOI BibTeX RDF
20	John T. Kohl, B. Clifford Neuman	The Kerberos Network Authentication Service (V5).	RFC	1993	DBLP DOI BibTeX RDF
20	David A. Borman	Telnet Authentication: Kerberos Version 4.	RFC	1993	DBLP DOI BibTeX RDF
20	Bart De Decker	Unix Security & Kerberos.	Computer Security and Industrial Cryptography	1991	DBLP DOI BibTeX RDF
20	Steven M. Bellovin, Michael Merritt	Limitations of the Kerberos Authentication System.	USENIX Winter	1991	DBLP BibTeX RDF
20	Denis Russell	High-Level Security Architectures and the Kerberos System.	Comput. Networks ISDN Syst.	1990	DBLP DOI BibTeX RDF
20	Steven M. Bellovin, Michael Merritt	Limitations of the Kerberos authentication system.	Comput. Commun. Rev.	1990	DBLP DOI BibTeX RDF
20	Jennifer G. Steiner, B. Clifford Neuman, Jeffrey I. Schiller	Kerberos: An Authentication Service for Open Network Systems.	USENIX Winter	1988	DBLP BibTeX RDF
14	Andreas Leicher, Nicolai Kuntze, Andreas U. Schmidt	Implementation of a Trusted Ticket System.	SEC	2009	DBLP DOI BibTeX RDF
14	Béla Genge, Piroska Haller	Towards Automated Secure Web Service Execution.	Networking	2009	DBLP DOI BibTeX RDF	automated execution, ontology, Web services, Security protocols
14	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
14	Ji Ma 0001, Mehmet A. Orgun	Formalising theories of trust for authentication protocols.	Inf. Syst. Frontiers	2008	DBLP DOI BibTeX RDF	Trust theory, Agents, Authentication protocols, Belief logic
14	Ti Zhou, Zhoujun Li 0001, 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
14	Liu Peng, Zong Rui, Liu Sizuo	A New Model for Authentication and Authorization across Heterogeneous Trust-Domain.	CSSE (3)	2008	DBLP DOI BibTeX RDF
14	Alexandros Papanikolaou, Christos Ilioudis, Christos K. Georgiadis, Elias Pimenidis	The importance of biometric sensor continuous secure monitoring.	ICDIM	2008	DBLP DOI BibTeX RDF
14	Iliano Cervesato, Catherine Meadows 0001	One Picture Is Worth a Dozen Connectives: A Fault-Tree Representation of NPATRL Security Requirements.	IEEE Trans. Dependable Secur. 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
14	Ji Ma 0001, Mehmet A. Orgun	Specifying Agent Beliefs for Authentication Systems.	ECUMN	2007	DBLP DOI BibTeX RDF
14	Peter Csaba Ölveczky, Martin Grimeland	Formal Analysis of Time-Dependent Cryptographic Protocols in Real-Time Maude.	IPDPS	2007	DBLP DOI BibTeX RDF
14	Gizela Jakubowska, Wojciech Penczek	Is Your Security Protocol on Time ?	FSEN	2007	DBLP DOI BibTeX RDF
14	Robin Sharp, Michael R. Hansen	Timed Traces and Strand Spaces.	CSR	2007	DBLP DOI BibTeX RDF	verification, real-time, Security protocols, interval logic
14	Arnab Roy 0001, Anupam Datta, Ante Derek, John C. Mitchell	Inductive Proofs of Computational Secrecy.	ESORICS	2007	DBLP DOI BibTeX RDF
14	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
14	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
14	Benjamin W. Long, Colin J. Fidge	Formally Analysing a Security Protocol for Replay Attacks.	ASWEC	2006	DBLP DOI BibTeX RDF
14	Dominik Zalewski	Security Enhancement of Java Remote Method Invocation.	DepCoS-RELCOMEX	2006	DBLP DOI BibTeX RDF
14	Saber Zrelli, Yoichi Shinoda	Single sign-on framework for AAA operations within commercial mobile networks.	ARES	2006	DBLP DOI BibTeX RDF
14	Roberto Zunino, Pierpaolo Degano	Handling exp, × (and Timestamps) in Protocol Analysis.	FoSSaCS	2006	DBLP DOI BibTeX RDF
14	Yuping Deng, Xiaowei Guo, Xiamu Niu	A New Design Scheme of Role-Based Access Control Based on PKI.	ICICIC (3)	2006	DBLP DOI BibTeX RDF
14	Jongpil Jeong, Min Young Chung, Hyunseung Choo	Secure User Authentication Mechanism in Digital Home Network Environments.	EUC	2006	DBLP DOI BibTeX RDF
14	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
14	Khanh V. Nguyen	Simplifying Peer-to-Peer Device Authentication Using Identity-Based Cryptography.	ICNS	2006	DBLP DOI BibTeX RDF
14	Michel Abdalla, David Pointcheval	Interactive Diffie-Hellman Assumptions with Applications to Password-Based Authentication.	Financial Cryptography	2005	DBLP DOI BibTeX RDF	Password-based authentication, multi-party protocols, Diffie-Hellman assumptions
14	Tuomas Aura, Michael Roe, Anish Mohammed	Experiences with Host-to-Host IPsec.	Security Protocols Workshop	2005	DBLP DOI BibTeX RDF
14	Hassnaa Moustafa, Gilles Bourdon, Yvon Gourhant	AAA in vehicular communication on highways with ad hoc networking support: a proposed architecture.	Vehicular Ad Hoc Networks	2005	DBLP DOI BibTeX RDF	inter-vehicular routing, security, ad hoc networks, AAA, vehicular communications
14	David Del Vecchio, Marty Humphrey, Jim Basney, Nataraj Nagaratnam	CredEx: User-Centric Credential Management for Grid and Web Services.	ICWS	2005	DBLP DOI BibTeX RDF
14	Christian Schläger, Günther Pernul	Authentication and Authorisation Infrastructures in b2c e-Commerce.	EC-Web	2005	DBLP DOI BibTeX RDF
14	Hoon Ko, Bangyong Sohn, Hayoung Park, Yongtae Shin	Safe Authentication Method for Security Communication in Ubiquitous.	ICCSA (2)	2005	DBLP DOI BibTeX RDF
14	Xiangguo Li, Jianhua Yang, Zhaohui Wu 0001	An NFSv4-Based Security Scheme for NAS.	ISPA Workshops	2005	DBLP DOI BibTeX RDF
14	Federico D. Sacerdoti, Mason J. Katz, Philip M. Papadopoulos	411 on scalable password service.	HPDC	2005	DBLP DOI BibTeX RDF
14	Shuanghe Peng, Zhen Han	Proxy Cryptography for Secure Inter-domain Information Exchanges.	PRDC	2005	DBLP DOI BibTeX RDF
14	Bruce Christianson	Anonymous Authentication (Transcript of Discussion).	Security Protocols Workshop	2004	DBLP DOI BibTeX RDF
14	Pasi Eronen, Jari Arkko	Authentication Components: Engineering Experiences and Guidelines.	Security Protocols Workshop	2004	DBLP DOI BibTeX RDF
14	Yu Enokibori, Nobuhiko Nishio	Realizing a Secure Federation of Multi-institutional Service Systems.	UCS	2004	DBLP DOI BibTeX RDF
14	Ali M. Allam 0001, Ibraliim I. Ibrahim, Ihab A. Ali, Abdel-Rahman H. El-Sawy	Provably secure entity authentication the three party case.	ISCC	2004	DBLP DOI BibTeX RDF
14	Chang-Joo Moon, Dae-Ha Park	A User Authentication Model for the OSGi Service Platform.	AsiaSim	2004	DBLP DOI BibTeX RDF
14	Joengmin Hwang, Yongdae Kim	Revisiting random key pre-distribution schemes for wireless sensor networks.	SASN	2004	DBLP DOI BibTeX RDF	wireless sensor networks, key pre-distribution
14	Alexander Prosser, Robert Kofler, Robert Krimmer	Deploying Electronic Democracy for Public Corporations.	EGOV	2003	DBLP DOI BibTeX RDF
14	Gaurav Jolly, Mustafa C. Kusçu, Pallavi Kokate, Mohamed F. Younis	A Low-Energy Key Management Protocol for Wireless Sensor Networks.	ISCC	2003	DBLP DOI BibTeX RDF
14	George Lawton	Open Source Security: Opportunity or Oxymoron?	Computer	2002	DBLP DOI BibTeX RDF
14	Ohad Rodeh, Kenneth P. Birman, Danny Dolev	The architecture and performance of security protocols in the ensemble group communication system: Using diamonds to guard the castle.	ACM Trans. Inf. Syst. Secur.	2001	DBLP DOI BibTeX RDF	security, Group communication
14	W. Garrett Mitchener, Amin Vahdat	A chat room assignment for teaching network security.	SIGCSE	2001	DBLP DOI BibTeX RDF
14	Kyung-Ah Chang, Byung-Rae Lee, Tai-Yun Kim	Authentication Service Model Supporting Multiple Domains in Distributed Computing.	International Conference on Computational Science (1)	2001	DBLP DOI BibTeX RDF
14	Kyung-Ah Chang, Byung-Rae Lee, Tai-Yun Kim	Flexible Authentication with Multiple Domains of Electronic Commerce.	EC-Web	2001	DBLP DOI BibTeX RDF
14	Stelvio Cimato	Design of an Authentication Protocol for Gsm Javacards.	ICISC	2001	DBLP DOI BibTeX RDF	Javacard, E-commerce and M- commerce security, Authentication protocol
14	Kyung-Ah Chang, Tae-Seung Lee, Bang-Hung Chun, Tai-Yun Kim	Ticket-Based Secure Delegation Service Supporting Multiple Domain Models.	PRDC	2001	DBLP DOI BibTeX RDF
14	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
14	Frank Stajano	The Resurrecting Duckling - What Next? (Transcript of Discussion).	Security Protocols Workshop	2000	DBLP DOI BibTeX RDF
14	Naomaru Itoi, Tomoko Fukuzawa, Peter Honeyman	Secure Internet Smartcards.	Java Card Workshop	2000	DBLP DOI BibTeX RDF
14	Judy I. Beiriger, Wilbur R. Johnson, Hugh P. Bivens, Steven L. Humphreys, Ronald Rhea	Constructing the ASCI Computational Grid.	HPDC	2000	DBLP DOI BibTeX RDF
14	Bruce Schneier	Cryptography: The Importance of Not Being Different.	Computer	1999	DBLP DOI BibTeX RDF
14	F. Javier Thayer, Jonathan C. Herzog, Joshua D. Guttman	Mixed Strand Spaces.	CSFW	1999	DBLP DOI BibTeX RDF
14	Paul Ashley, Bradley Broom, Mark Vandenwauver	An Implementation of a Secure Version of NFS Including RBAC.	ACISP	1999	DBLP DOI BibTeX RDF
14	Vipin Samar	Single Sign-On Using Cookies for Web Applications.	WETICE	1999	DBLP DOI BibTeX RDF
14	Keok Auyong, Chye-Lin Chee	Authentication Services For Computer Networks And Electronic Messaging Systems.	ACM SIGOPS Oper. Syst. Rev.	1997	DBLP DOI BibTeX RDF
14	Marc Mehdi Ayadi, Dominique Bolignano	Verification of Cryptographic Protocols: An Experiment.	FME	1997	DBLP DOI BibTeX RDF	security, formal methods, cryptographic protocols, Coq
14	Johann Schumann	Automatic Verification of Cryptographic Protocols with SETHEO.	CADE	1997	DBLP DOI BibTeX RDF
14	Azad Jiwa, Jennifer Seberry, Yuliang Zheng 0001	Beacon Based Authentication.	ESORICS	1994	DBLP DOI BibTeX RDF	Term Index Beacon, Authentication, Network Security, Information Security, Security Protocol
14	Thomas Hardjono, Jennifer Seberry	Authentication via Multi-Service Tickets in the Kuperee Server.	ESORICS	1994	DBLP DOI BibTeX RDF
14	Armin Liebl	Authentication in Distributed Systems: A Bibliography.	ACM SIGOPS Oper. Syst. Rev.	1993	DBLP DOI BibTeX RDF
14	A. Kehne, Jürgen Schönwälder, Horst Langendörfer	A Nonce-Based Protocol For Multiple Authentications.	ACM SIGOPS Oper. Syst. Rev.	1992	DBLP DOI BibTeX RDF
14	Li Gong	A Security Risk of Depending on Synchronized Clocks.	ACM SIGOPS Oper. Syst. Rev.	1992	DBLP DOI BibTeX RDF
14	Patrick Horster, Hans-Joachim Knobloch	Discrete Logarithm Based Protocols.	EUROCRYPT	1991	DBLP DOI BibTeX RDF