The modelling and analysis of security protocols : :: SCD d'Orléans

The modelling and analysis of security protocols : the CSP approach

The modelling and analysis of security protocols : the CSP approach

Salvato in:

Dettagli Bibliografici
Autori principali:	Ryan, Peter, 1957-, Schneider, Steve, 19..- (Autore)
Natura:	Livre papier
Lingua:	Anglais
Pubblicazione:	Harlow ; New York : Addison-Wesley cop. 2001.
Soggetti:	Ordinateurs > Accès > Contrôle Systèmes informatiques > Mesures de sûreté Cryptographie
Autres localisations:	Voir dans le Sudoc

Documenti analoghi

Security protocols : 6th international workshop, Cambridge, UK, April 1998 : proceedings

Security protocols : International Workshop, Cambridge, United Kingdom, April 10 12, 1996 : proceedings

Security protocols : 7th international workshop, Cambridge, UK, April 19-21, 1999 : proceedings

Security protocols : 8th international workshop, Cambridge, UK, April 3-5, 2000 : revised papers

Security protocols : 5th international workshop, Paris, France, April 7-9, 1997 : proceedings

Security protocols : 10th international workshop, Cambridge, UK, April 17-19, 2002 : revised papers

Security protocols : 9th international workshop, Cambridge, UK, April 25-27, 2001 : revised papers

Tout sur la sécurité informatique
Pubblicazione: (2020)

Internet et sécurité
di: Ghernaouti, Solange, 1958-
Pubblicazione: (2002)

Tout sur la sécurité informatique
di: Pillou, Jean-François, 19..-, et al.
Pubblicazione: (2020)

Information security : first international workshop, ISW '97, Tatsunokuchi, Ishikawa, Japan, September 17-19, 1997 : proceedings

The Basics of Information Security : Understanding the Fundamentals of InfoSec in Theory and Practice
di: Andress, Jason
Pubblicazione: (2014)

Public key cryptography : First International Workshop on Practice and Theory in Public Key Cryptography, PKC'98, Pacifico Yokohama, Japan, February 5 6, 1998 : proceedings

Advances in cryptology - EUROCRYPT 93 : [11th] Workshop on the Theory and Application of Cryptographic Techniques, Lofthus, Norway, May 23 27, 1993 : proceedings

Information and communications security : 4th international conference, ICICS 2002, Singapore, December 9-12, 2002 : proceedings

Lectures on data security : modern cryptology in theory and practice
di: Damgård, Ivan Bjerre, 1956-...., informaticien

Advances in cryptology - CRYPTO 2003 : 23rd Annual International Cryptology Conference, Santa Barbara, California, USA, August 17-21, 2003 : proceedings

Advances in cryptology - EUROCRYPT 92 : [10th] Workshop on the Theory and Application of Cryptographic Techniques, Balatonfüred, Hungary, May 24 28, 1992 : proceedings

Sécurité informatique : principes et méthode
di: Bloch, Laurent, 1947-, et al.
Pubblicazione: (2006)

Composition of secure multi-party protocols : a comprehensive study
di: Lindell, Yehuda

Practical UNIX and Internet security
di: Garfinkel, Simson, 19..-, et al.
Pubblicazione: (1996)

Zero trust networks : building secure systems in untrusted networks
di: Gilman, Evan, et al.
Pubblicazione: (2017)

Techniques de hacking
di: Erickson, Jon, 1977-
Pubblicazione: (2017)

Rootkits : infiltrations du noyau Windows
di: Hoglund, Greg, et al.
Pubblicazione: (2006)

Information security : third international workshop, ISW 2000, Wollongong, Australia, December 20-21, 2000 : proceedings

Information security : 6th international conference, ISC 2003, Bristol, UK, October 1-3, 2003 : proceedings

Information security and cryptology : ICISC 2003 : 6th international conference, Seoul, Korea, November 27-28, 2003 : revised papers

Sécurité réseaux
di: Stang, David J., informaticien, et al.
Pubblicazione: (1996)

Information security : second International Workshop, ISW'99, Kuala Lumpur, Malaysia, November 6-7, 1999 : proceedings

Information security and cryptology - ICISC 2002 : 5th international conference, Seoul, Korea, November 28-29, 2002 : revised papers

Computer security : ESORICS 2004 : 9th european symposium in computer security, Sophia Antipolis, France, september 13-15, 2004 : proceedings

Information security : 7th international conference, ISC 2004, Palo Alto, CA, USA, September 27-29, 2004 : proceedings

Information security and privacy : Third Australasian Conference, ACISP 98 Brisbane, Australia, July 13 15, 1998 : proceedings

Computer security and industrial cryptography : state of the art and evolution : ESAT course, Leuven, Belgium, May 21-23, 1991

Applied cryptography and network security : Second international conference, ACNS 2004, Yellow Mountain, China, June 8-11, 2004 : proceedings
di: Jakobsson, Markus

Détection des intrusions réseaux
di: Northcutt, Stephen, et al.
Pubblicazione: (2001)

Information security : 5th International Conference, ISC 2002, Sao Paulo, Brazil, September 30 October 2, 2002 : proceedings

Formation et garantie de propriétés de sécurité système : application à la détection d'intrusions
di: Briffaut, Jérémy
Pubblicazione: (2008)

Formation et garantie de propriétés de sécurité système : application à la détection d'intrusions
di: Briffaut, Jérémy
Pubblicazione: (2007)

Advances in Cryptology ASIACRYPT 2001 : 7th International Conference on the Theory and Application of Cryptology and Information Security, Gold Coast, Australia, December 9 13, 2001 Proceedings

© 2021-2023 • Université d'Orléans, Service Commun de Documentation, 6 rue de Tours, 45072 Orléans cedex 2
+33(0) 2 38 41 71 84 • https://scd.univ-orleans.fr • Mentions légales