Authentication for distributed systems

Keywords

Authentication protocol, Computer science, Kerberos, Email authentication, Authentication (law)

References

• The Digital Distributed System Security ArchitectureMorrie Gasser, Andy Goldstein, Charlie Kaufman — 1989
• SNP: An Interface for Secure Network ProgrammingT.Y.C. Woo, Raghuram Bindignavle, Shaowen Su — 1994
• Cryptography and Data SecurityDorothy E. Denning — 1982
• Security defects in CCITT recommendation X.509: the directory authentication frameworkCollin I'Anson, Chris J. Mitchell — 1990
• Limitations of the Kerberos authentication systemSteve Bellovin, Michael Merritt — 1990
• A lesson on authentication protocol designT.Y.C. Woo, Simon S. Lam — 1994
• A method for obtaining digital signatures and public-key cryptosystemsRonald L. Rivest, Adi Shamir, Leonard M. Adleman — 1978
• A logic of authenticationMichael T. Burrows, Martı́n Abadi, Roger M. Needham — 1990
• Special Feature The Total Computer Security Problem: an OveviewKarthik Shankar — 1977
• On the security of public key protocolsDanny Dolev, A. Yao — 1981
• Symmetric and Asymmetric EncryptionGustavus J. Simmons — 1979
• Privacy and authentication: An introduction to cryptographyWhitfield Diffie, Martin E. Hellman — 1979
• An architecture for practical delegation in a distributed systemMorrie Gasser, Ellen McDermott — 1990
• Kerberos: an authentication service for computer networksClifford Neuman, T. Ts'o — 1994
• Applying a theory of modules and interfaces to security verificationSimon S. Lam, A. Udaya Shankar, T.Y.C. Woo — 1991
• SPX: Global Authentication Using Public Key CertificatesJoseph J. Tardo, K. Alagappan — 1991
• Using encryption for authentication in large networks of computersRoger M. Needham, Michael Schroeder — 1978
• Practical authentication for distributed computingJ. Linn — 1990
• Design, verification and implementation of an authentication protocolT.Y.C. Woo, Simon S. Lam — 1994
• DASS: Distributed Authentication Security ServiceMorrie Gasser, Charles W. Kaufman, J. Linn — 1992

Cited by

• A Static Analysis Framework for Security Properties in Mobile and Cryptographic SystemsBenyamin Y. Y. Aziz — 2003
• RSAS - A Novel JavaCard-based Authentication System for Secured Transactions on the InternetLi Huang Ng, Peng Bo Liu, Daniel Tan — 2000
• Trust and Reliance in Multi-Agent Systems: A Preliminary ReportStephen Marsh, Fk La — 2007
• A role and context based security modelYolanta Beresnevichiene — 2000
• Multi-Application Authentication Based on Multi-Agent SystemSomchart Fugkeaw, Piyawit Manpanpanich, Sekpon Juntapremjitt — 2007
• Methods and limitations of security policy reconciliationP. MDaniel, Atul Prakash — 2002
• Vigil: Providing Trust for Enhanced Security in Pervasive SystemsLalana Kagal, Jeffrey Undercoffer, Filip Perich — 2005
• Typing secure implementation of authentication protocols in environments with compromised principalsBehnam Sattarzadeh, Mehran S. Fallah — 2014
• Handbook of Database Security - Applications and TrendsMichael Gertz, Sushil Jajodia — 2008
• The Clipper Encryption SystemDorothy E. Denning — 1993
• Theory generation for security protocolsDarrell Kindred, Jeannette M. Wing — 1999
• Type-based cryptographic operationsDominic Duggan — 2004
• Applying dynamic separation of aspects to distributed systems security: A case studyMiguel García, David Llewellyn‐Jones, Francisco Ortín — 2012
• A co-synthesis approach to embedded system design automationRajesh K. Gup, Giovanni De Micheli — 1996
• Arbitrated multiparty protocolKhalil Challita — 2013
• Costs of Security in the PFS File SystemKevin Walsh, Fred B. Schneider — 2012
• High assurance engineering: the good, the bad, and the uglyI‐Ling Yen — 1996
• Research on the security model for e-business process managementXin Yu, Mingping Xia, Yu Bai — 2009
• Formal Design Framework of the Authentication PropertyChang Chun Li, Gang Liu, Xing Tao Zhu — 2014
• A secure open systemJames A Crowe — 2008

Related papers

• Robust Multi-Factor Authentication for Fragile CommunicationsXinyi Huang, Yang Xiang, Elisa Bertino — 2014
• A Review of Authentication ProtocolsMiss. Pratiksha M. Matkar, Miss. Priyanka V. Bhiogade, Miss. Puja P. Patle — 2018
• Implementation of Role-based Access Control in Authentication ManagerYanhui Zhu — 2005
• GAP Universal One-Step Authentication ProtocolXianghao Nan — 2021
• An Improved Authentication Scheme Based on Kerberos Authentication ProtocolGe Fu — 2003