The SCEAS System
Navigation Menu
Introduction
Collection Based
Clustering
Ranking
Paper Based
Journals
Conferences
DB Status
Statistics
Search

Search the dblp DataBase

Title:
Author:
Stephen H. Brackin: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Stephen H. Brackin
    Using Checkable Types in Automatic Protocol Analysis. [Citation Graph (0, 0)][DBLP]
    ACSAC, 1999, pp:99-108 [Conf]
  2. Randall W. Lichota, Grace L. Hammonds, Stephen H. Brackin
    Verifying The Correctness Of Cryptographic Protocols Using "Convince". [Citation Graph (0, 0)][DBLP]
    ACSAC, 1996, pp:117-128 [Conf]
  3. Stephen H. Brackin
    A HOL extension of GNY for automatically analyzing cryptographic protocols. [Citation Graph (0, 0)][DBLP]
    CSFW, 1996, pp:62-0 [Conf]
  4. Stephen H. Brackin
    Evaluating and Improving Protocol Analysis by Automatic Proof. [Citation Graph (0, 0)][DBLP]
    CSFW, 1998, pp:138-152 [Conf]
  5. Stephen H. Brackin
    Implementing Effective Automatic Cryptographic Protocol Analysis. [Citation Graph (0, 0)][DBLP]
    ASE, 1999, pp:319-322 [Conf]
  6. Stephen H. Brackin
    An Interface Specification Language for Automatically Analyzing Cryptographic Protocols. [Citation Graph (0, 0)][DBLP]
    NDSS, 1997, pp:- [Conf]
  7. Stephen H. Brackin
    Providing Tractable Security Analysis in HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1994, pp:65-80 [Conf]
  8. Stephen H. Brackin
    Deciding Cryptographic Protocol Adequacy with HOL. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1995, pp:90-105 [Conf]
  9. Stephen H. Brackin
    Deciding Cryptographic Protocol Adequacy with HOL: The Implementation. [Citation Graph (0, 0)][DBLP]
    TPHOLs, 1996, pp:61-76 [Conf]
  10. Stephen H. Brackin, Shiu-Kai Chin
    Server-Process Restrictiveness in HOL. [Citation Graph (0, 0)][DBLP]
    HUG, 1993, pp:450-463 [Conf]

Search in 0.001secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
Introduction Collection Based Clustering Ranking Paper Based Journals Conferences DB Status Statistics Search
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002