Skip to contents

Blanchet, Bruno [Author]

Modeling and verifying security protocols with the applied pi calculus and ProVerif

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Boston; Delft: now, [2017]

Published in: Foundations and trends in privacy and security ; 1,1/2
Dinger, Jochen [Author]; Hartenstein, Hannes [Author]

Netzwerk- und IT-Sicherheitsmanagement : eine Einführung

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Karlsruhe: Univ.-Verl. Karlsruhe, 2008
Iwata, Tetsu [Editor]; Nishigaki, Masakatsu [Other] ; IWSEC 6 2011 Tokio

Advances in information and computer security : 6th international workshop, IWSEC 2011, Tokyo, Japan, November 8 - 10, 2011 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 7038
Qing, Sihan [Editor] ; ICICS 13 2011 Peking

Information and communication security : 13th international conference, ICICS 2011, Beijing, China, November 23-26, 2011 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 7043
Christianson, Bruce [Editor] ; International Security Protocols Workshop 19 2011 Cambridge

Security protocols XIX : 19th international workshop, Cambridge, UK, March 28-30, 2011 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 7114
Sbeiti, Mohamad [Author] ; Shaker Verlag

Secure and efficient routing in highly dynamic WLAN mesh networks - [1. Auflage]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Shaker Verlag, 2016

Published in: Dortmunder Beiträge zu Kommunikationsnetzen und -systemen ; 12
Hummen, René [Author]

Resource-conscious network security for the IP-based internet of things

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Aachen: Shaker, 2015

Published in: Reports on communications and distributed systems ; 11
Harich, Thomas W. [Author]

IT-Sicherheitsmanagement : Arbeitsplatz IT-Security-Manager - [1. Aufl.]

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Heidelberg; München; Landsberg; Frechen; Hamburg: mitp, 2012
Bao, Feng [Editor]; Weng, Jian [Other] ; ISPEC 7 2011 Kanton, Stadt

Information security practice and experience : 7th international conference, ISPEC 2011, Guangzhou, China, May 30-June 1, 2011 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 6672
Abe, Masayuki [Editor] ; ASIACRYPT 16 2010 Singapur

Advances in cryptology - ASIACRYPT 2010 : 16th International Conference on the Theory and Application of Cryptology and Information Security, Singapore, December 5-9, 2010 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 6477
Steinfeld, Ron [Editor]; Hawkes, Philip [Other] ; ACISP 15 2010 Sydney

Information security and privacy : 15th Australasian Conference, ACISP 2010, Sydney, Australia, July 5-7, 2010 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 6168
Pieprzyk, Josef [Editor] ; ASIACRYPT 14 2008 Melbourne

Advances in cryptology - ASIACRYPT 2008 : 14th International Conference on the Theory and Application of Cryptology and Information Security, Melbourne, Australia, December 7-11, 2008

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2008

Published in: Lecture notes in computer science ; 5350
Matsui, Mitsuri [Editor] ; International Association for Cryptologic Research, ASIACRYPT 15 2009 Tokio

Advances in cryptology - ASIACRYPT 2009 : 15th International Conference on the Theory and Application of Cryptology and Information Security, Tokyo, Japan, December 6-10, 2009 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5912
Parker, Matthew G. [Editor] ; International Conference on Cryptography and Coding 12 2009 Cirencester

Cryptography and coding : 12th IMA International Conference, Cryptography and Coding 2009, Cirencester, UK, December 15-17, 2009 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5921
Cortier, Véronique [Editor]; Kirchner, Claude [Other]; Okada, Mitsuhiro [Other]; Sakurada, Hideki [Other] ; French Japanese Computer Security Workshop 2005 Tokio, French Japanese Computer Security Workshop 2006 Tokio, French Japanese Computer Security Workshop 2008 Nancy

Formal to practical security : papers issued from the 2005-2008 Frenche-Japanese collaboration

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5458
Christianson, Bruce [Editor]; Crispo, Bruno [Other]; Malcolm, James A. [Other]; Roe, Michael [Other] ; International Workshop on Security Protocols 14 2006 Cambridge

Security protocols : 14th International Workshop, Cambridge, UK, March 27 - 29, 2006; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2009

Published in: Lecture notes in computer science ; 5087
Samarati, Pierangela [Editor] ; ESORICS 9 2004 Sophia Antipolis

Computer security - ESORICS 2004 : 9th European Symposium on Research in Computer Security, Sophia Antipolis, France, September 13 - 15, 2004 ; proceedings

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2004

Published in: Lecture notes in computer science ; 3193
Armando, Alessandro [Editor]; Lowe, Gavin [Other] ; ARSPA-WITS 2010 Paphos

Automated reasoning for security protocol analysis and issues in the theory of security : joint workshop, ARSPA-WITS 2010, Paphos, Cyprus, March 27-28, 2010 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 6186
Degano, Pierpaolo [Editor]; Guttman, Joshua D. [Other] ; FAST 6 2009 Eindhoven

Formal aspects in security and trust : 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5 - 6, 2009 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2010

Published in: Lecture notes in computer science ; 5983
Rhee, Kyung-Hyune [Editor]; Rhee, Kyung-Hyune [Other]; Nyang, DaeHun [Other] ; ICISC 13 2010 Seoul

Information security and cryptology - ICISC 2010 : 13th international conference, Seoul, Korea, December 1-3, 2010 ; revised selected papers

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2011

Published in: Lecture notes in computer science ; 6829

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication