Your search returned 3 results.

Not what you expected? Check for suggestions
E-BOOKS
Foundations and Applications of Security Analysis [electronic resource] : Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009, Revised Selected Papers / edited by Pierpaolo Degano, Luca Viganò.

by Degano, Pierpaolo [editor.] | Viganò, Luca [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 5511Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Tests and Proofs [electronic resource] : 7th International Conference, TAP 2013, Budapest, Hungary, June 16-20, 2013. Proceedings / edited by Margus Veanes, Luca Viganò.

by Veanes, Margus [editor.] | Viganò, Luca [editor.] | SpringerLink (Online service).

Series: Lecture Notes in Computer Science ; 7942Source: Springer eBooksMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

E-BOOKS
Principles of Security and Trust [electronic resource] : 5th International Conference, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings / edited by Frank Piessens, Luca Viganò.

by Piessens, Frank [editor.] | Viganò, Luca [editor.] | SpringerLink (Online service).

Series: Security and Cryptology ; 9635 | Lecture Notes in Computer Science ; 9635Edition: 1st ed. 2016.Source: Springer Nature eBookMaterial type: Text Text;Language: English; Format: electronic available online remote; Literary form: Not fiction Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2016Online access: Click here to access online Availability: Items available for loan: IMSc Library (1). Location(s): .

The Institute of Mathematical Sciences, Chennai, India

Powered by Koha