The SCEAS System
Navigation Menu

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.003secs, Finished in 0.003secs
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
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002