A simple framework for real-time cryptographic protocol analysis with compositional proof rules (Q1887729)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A simple framework for real-time cryptographic protocol analysis with compositional proof rules |
scientific article |
Statements
A simple framework for real-time cryptographic protocol analysis with compositional proof rules (English)
0 references
22 November 2004
0 references
Real-time process algebra
0 references
Crytographic protocols
0 references
Non-interference
0 references
