Foundations of security analysis and design : :: SCD d'Orléans

Foundations of security analysis and design : tutorial lectures

Foundations of security analysis and design : tutorial lectures

Enregistré dans:

Bibliografiske detaljer
Institution som forfatter:	International School on Foundations of Security Analysis and Design
Andre forfattere:	Focardi, Riccardo, 1970- (Directeur de la publication), Gorrieri, Roberto, 1962- (Directeur de la publication)
Format:	Livre numérique
Sprog:	Anglais
Udgivet:	Berlin [etc.] : Springer [20..]. Cham : Springer Nature
Serier:	Lecture notes in computer science 2171
Fag:	Informatique Réseaux d'ordinateurs > Mesures de sûreté Langages de programmation Systèmes d'exploitation (ordinateurs) Chiffrement (informatique) Réseaux d'ordinateurs Culture numérique Actes de congrès
Online adgang:	Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL
Kommentar:	Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale)
Autres localisations:	Voir dans le Sudoc
Edition sous un autre format:	• Foundations of security analysis and design, tutorial lectures, Riccardo Focardi, Robert Gorrieri (eds.), New York, Springer, 2001, 1 volume, Lecture notes in computer science, 3-540-42896-8 • Foundations of Security Analysis and Design, Texte imprimé, 9783662209400

Lignende værker

Foundations of security analysis and design II : FOSAD 2001/2002 tutorial lectures

Computer network security : Second International Workshop on Mathematical Methods, Models, and Architectures for Computer Network Security, MMM-ACNS 2003, St. Petersburg, Russia, September 21-23, 2003 : proceedings

Software security : Theories and systems : Second Mext-NSF-JSPS international symposium, ISSS 2003 : Tokyo, Japan, november 4-6, 2003 : revised papers
af: Futatsugi, Kokichi

Software security - theories and systems : Mext-NSF-JSPS International Symposium, ISSS 2002, Tokyo, Japan, November 8 10, 2002 : revised papers

Information Assurance in Computer Networks : Methods, Models and Architectures for Network Security International Workshop MMM-ACNS 2001 St. Petersburg, Russia, May 21 23, 2001 Proceedings

Security in communication networks : third international conference, SCN 2002, Amalfi, Italy, September 11-13, 2002 : revised papers

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

Computer security - ESORICS 96 : 4th European Symposium on Research in Computer Security, Rome, Italy, September 25-27, 1996 : proceedings

Computer security - ESORICS 94 : Third European Symposium on Research in Computer Security, Brighton, United Kingdom, November 7 9, 1994 : proceedings

Computer security - ESORICS 2000 : 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000 : proceedings

Computer security - ESORICS 2002 : 7th European Symposium on Research in Computer Security, Zurich, Switzerland, October 14 16, 2002 : proceedings

Local area network security : Workshop LANSEC '89, European Institute for System Security (E.I.S.S.), Karlsruhe, FRG, April 3 6, 1989 : proceedings

Computer security ESORICS 2003 : 8th European symposium on research in computer security, Gjovik, Norway, october 13-15, 2003 : proceedings

Privacy enhancing technologies : Third international workshop, PET 2003, Dresden, Germany, March 26-28, 2003 : revised papers

Privacy enhancing technologies : second international workshop, PET 2002, San Francisco, CA, USA, April 14-15, 2002 : revised papers

Recent advances in intrusion detection : 5th international symposium, RAID 2002, Zurich, Switzerland, October 16-18, 2002 : proceedings

Communications and multimedia security : advanced techniques for network and data protection : 7th IFIP-TC6 TC11 International Conference, CMS 2003, Torino, Italy, October 2-3, 2003 : proceedings

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

Financial cryptography : 4th international conference, FC 2000, Anguilla, British West Indies, February 20-24, 2000 : proceedings

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

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

Information and communications security : 5th International Conference, ICICS 2003, Huhehaote, China, October 10-13, 2003 : proceedings

Information and communications security : 6th international conference, ICICS 2004, Malaga, Spain, October 27-29, 2004 : proceedings

Formal aspects of security : First international conference, FASec 2002 : London, UK, December 16-18, 2002 : revised papers

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 : 7th international conference, ISC 2004, Palo Alto, CA, USA, September 27-29, 2004 : proceedings

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

Financial cryptography : 7th International Conference, FC 2003, Guadeloupe, French West Indies, January 27-30, 2003 : revised papers

State of the art in applied cryptography : course on computer security and industrial cryptography, Leuven, Belgium, June 3-6, 1997 : revised lectures

Secure networking - CQRE [Secure] 99 : International Exhibition and Congress, Düsseldorf, Germany, November 30 December 2, 1999 : proceedings

Smart card programming and security : International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001 : proceedings
af: Attali, Isabelle, 1963-2004

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

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

Financial cryptography : 5th International Conference, FC 2001 Grand Cayman, British West Indies, February 19 22, 2001 : proceedings

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

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

Advances in cryptology - EUROCRYPT 89 : [7th] Workshop on the Theory and Application of Cryptographic Techniques, Houthalen, Belgium, April 10 13, 1989 : proceedings

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

© 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