✦ LIBER ✦
Modal tableaux for verifying stream authentication protocols
✍ Scribed by Mehmet A. Orgun; Guido Governatori; Chuchang Liu
- Book ID
- 106338545
- Publisher
- Springer US
- Year
- 2008
- Tongue
- English
- Weight
- 257 KB
- Volume
- 19
- Category
- Article
- ISSN
- 1387-2532
No coin nor oath required. For personal study only.