Automated reasoning for security protocol analysis and issues in the theory of security : joint workshop, ARSPA-WITS, Paphos, Cyprus, Mar. 27-28, 2010 (e-book)
Language: English Series: Lecture Notes in Computer Science (LNCS) ; v.6186 | LNCS Sublibrary : SL 4 – Security and cryptologyPublication details: Berlin Springer 2010ISBN: 978-3-642-16074-5Subject(s): Computer science and engineering | Computer security -- Congresses | Formal methods (Computer science) -- Congresses | Cryptography -- CongressesOnline resources: Click here to access onlineItem type | Current library | Call number | URL | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
![]() |
Central Library, IITB Online | Link to resource | Online | EBK573 |
Total holds: 0
There are no comments on this title.