Foundations of security analysis and design II : FOSAD 2001/2002 tutorial lectures
Security is a rapidly growing area of computer science, with direct and increasing relevance to real-life applications, such as Internet transactions, e-commerce, information protection, network and systems security, etc. Foundations for the analysis and design of security features of such applicati...
Bewaard in:
| Coauteur: | |
|---|---|
| Andere auteurs: | , |
| Formaat: | Livre numérique |
| Taal: | Anglais |
| Gepubliceerd in: |
Berlin [etc.] :
Springer
[20..].
Cham : Springer Nature |
| Reeks: | Lecture notes in computer science
2946 |
| Onderwerpen: | |
| Online toegang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Opmerking: |
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 II, FOSAD 2001/2002 tutorial lectures, Riccardo Focardi, Roberto Gorrieri (eds.), Berlin, Springer, 2004, 1 vol. (VI-265 p.), Lecture notes in computer science, 3-540-20955-7 • Foundations of Security Analysis and Design II, Texte imprimé, 9783662186473 |
| LEADER | 03792nam a22004457a 4500 | ||
|---|---|---|---|
| 001 | 971536 | ||
| 008 | 110927q2000 xxe ||| |||| 00| 0 eng d | ||
| 009 | PPN155208683 | ||
| 020 | |a 9783540246312 (PDF) | ||
| 041 | 0 | |a eng | |
| 082 | |a 004 | ||
| 111 | 2 | |a International School on Foundations of Security Analysis and Design |n (2nd |d :2001-2002 |c :Bertinoro, IT). | |
| 245 | 1 | 0 | |a Foundations of security analysis and design II : |b FOSAD 2001/2002 tutorial lectures |c [edited by] Riccardo Focardi, Roberto Gorrieri. |
| 260 | |a Berlin [etc.] : |b Springer. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 490 | 0 | |a Lecture notes in computer science |v 2946 |x 1611-3349 | |
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 0 | |a Two Formal Approaches for Approximating Noninterference Properties -- The Key Establishment Problem -- A Survey of Name-Passing Calculi and Crypto-Primitives -- Classification of Security Properties -- Cryptographic Algorithms for Multimedia Traffic -- Security for Mobility. | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a Security is a rapidly growing area of computer science, with direct and increasing relevance to real-life applications, such as Internet transactions, e-commerce, information protection, network and systems security, etc. Foundations for the analysis and design of security features of such applications are badly needed in order to validate and prove their correctness. This book presents thoroughly revised versions of six tutorial lectures given by leading researchers during two International Schools on Foundations of Security Analysis and Design, FOSAD 2001/2002, held in Bertinoro, Italy, in September 2001 and September 2002. The lectures are devoted to: - Formal Approaches to Approximating Noninterference Properties - The Key Establishment Problem - Name-Passing Calculi and Cryptoprimitives - Classification of Security Properties; Network Security - Cryptographic Algorithms for Multimedia Traffic - Security for Mobility. | ||
| 650 | |a Informatique | ||
| 650 | |a Réseaux d'ordinateurs |x Mesures de sûreté | ||
| 650 | |a Langages de programmation | ||
| 650 | |a Systèmes d'exploitation (ordinateurs) | ||
| 650 | |a Systèmes informatiques |x Mesures de sûreté | ||
| 650 | |a Chiffrement (informatique) | ||
| 650 | |a Réseaux d'ordinateurs | ||
| 650 | |a Actes de congrès | ||
| 700 | 1 | |a Focardi, Riccardo, |d 1970- |4 pbd | |
| 700 | 1 | |a Gorrieri, Roberto, |d 1962- |4 pbd | |
| 776 | 0 | |0 076553647 |t Foundations of security analysis and design II |o FOSAD 2001/2002 tutorial lectures |f Riccardo Focardi, Roberto Gorrieri (eds.) |c Berlin |n Springer |d 2004 |p 1 vol. (VI-265 p.) |s Lecture notes in computer science |z 3-540-20955-7 | |
| 776 | 0 | |t Foundations of Security Analysis and Design II |b Texte imprimé |z 9783662186473 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/b95547 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-P1DS16C2-5 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:750651474 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/b95547 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:754001857 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/b95547 |z Accès INSA CVL | |
| 997 | |0 971536 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||