A symbolic decision procedure for cryptographic protocols with time stamps (Q2568115)
From MaRDI portal
!
WARNING
This is the item page for this Wikibase entity, intended for internal use and editing purposes.
Please use the normal view instead:
scientific article; zbMATH DE number 2212827
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A symbolic decision procedure for cryptographic protocols with time stamps |
scientific article; zbMATH DE number 2212827 |
Statements
A symbolic decision procedure for cryptographic protocols with time stamps (English)
0 references
7 October 2005
0 references
verification
0 references
cryptographic protocols
0 references
security
0 references
timed models
0 references
0.9735061526298524
0 references
0.8168498277664185
0 references
0.7727383971214294
0 references
0.7668976783752441
0 references
0.761339008808136
0 references
