A quantifier-free first-order knowledge logic of authentication (Q5486065)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: A quantifier-free first-order knowledge logic of authentication |
scientific article; zbMATH DE number 5051656
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A quantifier-free first-order knowledge logic of authentication |
scientific article; zbMATH DE number 5051656 |
Statements
6 September 2006
0 references
verification
0 references
formal methods
0 references
authentication
0 references
security
0 references
knowledge
0 references
model checking
0 references
0.8111799359321594
0 references
0.8090234994888306
0 references
0.8049283027648926
0 references
0.8043352365493774
0 references
