|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 21 occurrences of 18 keywords
|
|
|
|
|
Results
Found 10 publication records. Showing 10 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Stephen H. Brackin |
Implementing Effective Automatic Cryptographic Protocol Analysis. (PDF / PS)  |
ASE  |
1999 |
DBLP DOI BibTeX RDF |
Authentication, Protocols, Logics |
| 1 | Stephen H. Brackin |
Using Checkable Types in Automatic Protocol Analysis. |
ACSAC |
1999 |
DBLP DOI BibTeX RDF |
Formal Methods, Cryptographic Protocols, Automatic Analysis |
| 1 | Stephen H. Brackin |
Evaluating and Improving Protocol Analysis by Automatic Proof. (PDF / PS) |
CSFW |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen H. Brackin |
An Interface Specification Language for Automatically Analyzing Cryptographic Protocols. |
NDSS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Randall W. Lichota, Grace L. Hammonds, Stephen H. Brackin |
Verifying The Correctness Of Cryptographic Protocols Using "Convince". |
ACSAC |
1996 |
DBLP DOI BibTeX RDF |
Convince, theorem proving component, commercial computer aided software engineering tool, StP/OMT, textual notations, Higher Order Logic theorem prover, protocols, cryptographic protocols, authentication protocols, front-end, belief logic, correctness verification, automated support |
| 1 | Stephen H. Brackin |
A HOL extension of GNY for automatically analyzing cryptographic protocols. |
CSFW |
1996 |
DBLP DOI BibTeX RDF |
HOL extension, automatically analyzing cryptographic protocols, higher order logic theory, authentication properties, protocol properties, hash operations, key-exchange algorithms, formal specification, cryptography, message authentication, access protocols, message authentication codes, multiple encryption, belief maintenance, belief logic |
| 1 | Stephen H. Brackin |
Deciding Cryptographic Protocol Adequacy with HOL: The Implementation. |
TPHOLs |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen H. Brackin |
Deciding Cryptographic Protocol Adequacy with HOL. |
TPHOLs |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen H. Brackin |
Providing Tractable Security Analysis in HOL. |
TPHOLs |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Stephen H. Brackin, Shiu-Kai Chin |
Server-Process Restrictiveness in HOL. |
HUG |
1993 |
DBLP DOI BibTeX RDF |
|
Displaying result #1 - #10 of 10 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")