Munna, J. Alves-Foss  Home/Search
Context
Related
| uidaho.edu/~jimaf/docs/authhol95.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: uidaho.edu/~jimaf/docs/index (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Authentication protocols are essential to ensure security in distributed computing system. Development of a valid protocol is difficult, as is evidenced by the number of published protocols which have been found to contain flaws. Several methods have been proposed to verify the correctness and security of authentication protocols. This paper is a report of an ongoing project to mechanize in HOL a published theory of authentication and to investigate the utility of the theory in finding flaws in ... (Update)
Similar documents (at the sentence level):
35.8%: Mechanizing a Theory of Authentication in Higher Order Logic - Munna, Alves-Foss (Correct)
Active bibliography (related documents): More All
0.0: Private Computing: The Trusted Digital Assistant - Stabell-Kulø (Correct)
0.0: A Method for Examining Cryptographic Protocols - Tjaden (1997) (Correct)
0.0: Security Protocols over open networks and.. - Gritzalis.. (1999) (Correct)
Similar documents based on text: More All
0.5: Verification and Modelling of Authentication Protocols - Hauser, Lee (1992) (Correct)
0.1: Idaho Intelligent Transportation Systems Commercial Vehicle .. - Jointly Prepared By (Correct)
0.0: Reasonable Authentication in Distributed Systems - Alves-Foss, Munna (Correct)
BibTeX entry: (Update)
@misc{ munna-mechanizing,
author = "Munna and J. Alves-Foss",
title = "Mechanizing a Theory of Authentication in Higher Order Logic",
url = "citeseer.ist.psu.edu/97657.html" }
Citations (may not include all citations):450 Using encryption for authentication in large networks of com.. (context) - Needham, Schroeder - 1978
176 Timestamps in key distribution protocols (context) - Denning, Sacco - 1981
171 Prudent engineering practice for cryptographic protocols - Abadi, Needham - 1994
164 acm Transactions on Computer Systems (context) - Burrows, Abadi et al. - 1990
101 Authentication in the Taos operating system - Wobber, Abadi et al. - 1994
32 A proof generating system for higher-order logic (context) - Gordon - 1987
25 Authentication in distributed systems: a bibliography (context) - Liebl - 1993
2 A Calculus for Access Control in Distributed Systems DEC-SRC.. (context) - Abadi, Burrows et al. - 1991
2 acm Transactions on Computer Systems V (context) - Lampson, Abadi et al. - 1992
Documents on the same site (http://www.cs.uidaho.edu/~jimaf/docs/index.html): More
A C Type Checker: A First Step Towards Code-Level.. - Alves-Foss, Toshok.. (Correct)
Modelling Non-Deterministic Systems in HOL - Alves-Foss (1992) (Correct)
A Verifiable Secure Distributed System - Alves-Foss (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC