✦ LIBER ✦
A structured operational semantic modelling of the Dolev–Yao threat environment and its composition with cryptographic protocols
✍ Scribed by Wenbo Mao
- Book ID
- 113557962
- Publisher
- Elsevier Science
- Year
- 2005
- Tongue
- English
- Weight
- 175 KB
- Volume
- 27
- Category
- Article
- ISSN
- 0920-5489
No coin nor oath required. For personal study only.