Formal analysis and parallelism in protocols (Q3369006)
From MaRDI portal
!
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 5005281
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Formal analysis and parallelism in protocols |
scientific article; zbMATH DE number 5005281 |
Statements
22 March 2007
0 references
formal analysis
0 references
protocol
0 references
security
0 references
attacks
0 references
0.7677561044692993
0 references
0.7522202134132385
0 references
0.7515138983726501
0 references
