Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
Material type: TextPublication details: 2010ISBN:- 978-3-642-16074-5
Item type | Current library | Home library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|---|
AIT-E-BOOK | Acharya Institute of Technology | Acharya Institute of Technology | Available | EB6705 |
There are no comments on this title.