The Abadi–Lamport logic of authentication
GPTKB entity
Statements (14)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:alsoKnownAs |
AL logic
|
| gptkbp:describes |
formal reasoning about authentication protocols
|
| gptkbp:field |
computer security
cryptography authentication protocols |
| gptkbp:influencedBy |
BAN logic
|
| gptkbp:inventedBy |
gptkb:Leslie_Lamport
gptkb:Martín_Abadi |
| gptkbp:publicationYear |
1993
|
| gptkbp:publishedIn |
gptkb:ACM_Transactions_on_Computer_Systems
|
| gptkbp:bfsParent |
gptkb:Martin_Abadi
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
The Abadi–Lamport logic of authentication
|