A multiset rewriting model for specifying and verifying timing aspects of security protocols (Q2303374)
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 7176729
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A multiset rewriting model for specifying and verifying timing aspects of security protocols |
scientific article; zbMATH DE number 7176729 |
Statements
A multiset rewriting model for specifying and verifying timing aspects of security protocols (English)
0 references
3 March 2020
0 references
0.7575303912162781
0 references
0.7466059923171997
0 references
0.7400965690612793
0 references
