Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security [electronic resource] : Joint Workshop, ARSPA-WITS 2010, Paphos, Cyprus,March 27-28, 2010. Revised Selected Papers / edited by Alessandro Armando, Gavin Lowe.
Material type:
TextSeries: Lecture Notes in Computer Science ; 6186Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010Description: IX, 185p. 39 illus. online resourceContent type: text Media type: computer Carrier type: online resourceISBN: 9783642160745Subject(s): Computer science | Computer Communication Networks | Software engineering | Data encryption (Computer science) | Computer software | Computer Science | Data Encryption | Computer Communication Networks | Computers and Society | Algorithm Analysis and Problem Complexity | Software Engineering | Programming Languages, Compilers, InterpretersAdditional physical formats: Printed edition:: No titleDDC classification: 005.82 LOC classification: QA76.9.A25Online resources: Click here to access online
In:
Springer eBooks
E-BOOKS
| Current library | Home library | Call number | Materials specified | URL | Status | Date due | Barcode |
|---|---|---|---|---|---|---|---|
| IMSc Library | IMSc Library | Link to resource | Available | EBK9335 |
There are no comments on this title.