Zum Inhalt springen

Blanchet, Bruno [VerfasserIn]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Boston; Delft: now, [2017]

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

Netzwerk- und IT-Sicherheitsmanagement : eine Einführung

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Karlsruhe: Univ.-Verl. Karlsruhe, 2008
Iwata, Tetsu [HerausgeberIn]; Nishigaki, Masakatsu [Sonstige Person, Familie und Körperschaft] ; IWSEC 6 2011 Tokio

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 7114
Sbeiti, Mohamad [VerfasserIn] ; Shaker Verlag

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Aachen: Shaker Verlag, 2016

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

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Aachen: Shaker, 2015

Erschienen in: Reports on communications and distributed systems ; 11
Bao, Feng [HerausgeberIn]; Weng, Jian [Sonstige Person, Familie und Körperschaft] ; ISPEC 7 2011 Kanton, Stadt

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 6672
Harich, Thomas W. [VerfasserIn]

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

Heidelberg; München; Landsberg; Frechen; Hamburg: mitp, 2012
Abe, Masayuki [HerausgeberIn] ; 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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 6477
Steinfeld, Ron [HerausgeberIn]; Hawkes, Philip [Sonstige Person, Familie und Körperschaft] ; ACISP 15 2010 Sydney

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 6168
Pieprzyk, Josef [HerausgeberIn] ; 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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 5350
Matsui, Mitsuri [HerausgeberIn] ; 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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 5912
Parker, Matthew G. [HerausgeberIn] ; 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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 5921
Cortier, Véronique [HerausgeberIn]; Kirchner, Claude [Sonstige Person, Familie und Körperschaft]; Okada, Mitsuhiro [Sonstige Person, Familie und Körperschaft]; Sakurada, Hideki [Sonstige Person, Familie und Körperschaft] ; 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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 5458
Christianson, Bruce [HerausgeberIn]; Crispo, Bruno [Sonstige Person, Familie und Körperschaft]; Malcolm, James A. [Sonstige Person, Familie und Körperschaft]; Roe, Michael [Sonstige Person, Familie und Körperschaft] ; International Workshop on Security Protocols 14 2006 Cambridge

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 5087
Samarati, Pierangela [HerausgeberIn] ; 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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 3193
Rhee, Kyung-Hyune [HerausgeberIn]; Rhee, Kyung-Hyune [Sonstige Person, Familie und Körperschaft]; Nyang, DaeHun [Sonstige Person, Familie und Körperschaft] ; ICISC 13 2010 Seoul

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

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 6829
Parampalli, Udaya [HerausgeberIn]; Hawkes, Philip [Sonstige Person, Familie und Körperschaft] ; Royal Melbourne Institute of Technology, ACISP 16 2011 Melbourne

Information security and privacy : 16th Australisian conference, ACISP 2011, Melbourne, Australia, July 11-13, 2011 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 6812
Boyen, Xavier [HerausgeberIn]; Chen, Xiaofeng [Sonstige Person, Familie und Körperschaft] ; ProvSec 5 2011 Xi'an

Provable security : 5th International Conference, ProvSec 2011, Xi'an, China, October 16-18, 2011 ; proceedings

Schließen

Merkliste

Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.

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

Erschienen in: Lecture notes in computer science ; 6980

Sie haben das Gesuchte nicht gefunden?

Kauftipp
Sie vermissen etwas, was Sie für Ihre Forschungszwecke benötigen? Geben Sie uns hier einen Kauf-Tipp.

Fernleihe
Recherchieren und bestellen Sie Ihren gewünschten Titel im Rechercheportal der Fernleihe.

Nur in Feld suchen:

Zuletzt gesuchte Begriffe:

Sie haben das Gesuchte nicht gefunden?

> Erscheinungsjahr

Erscheinungsjahr