Typing messages for free in security protocols (Q4972165)
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: Typing messages for free in security protocols
scientific article; zbMATH DE number 7135664
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Typing messages for free in security protocols |
scientific article; zbMATH DE number 7135664 |
Statements
Typing Messages for Free in Security Protocols (English)
0 references
22 November 2019
0 references
security protocols
0 references
symbolic model
0 references
trace equivalence
0 references
verification
0 references
0.8670477271080017
0 references
0.8252018690109253
0 references
