Foundations of Security Analysis and Design
Tutorial Lectures
Riccardo Focardi, Roberto Gorrieri
396 pages, parution le 05/02/2002
Résumé
Security is a rapidly growing area of computer science,
with direct and increasing relevance to real life
applications such as Internet transactions, electronic
commerce, information protection, network and systems
integrity, etc. This volume presents thoroughly revised
versions of lectures given by leading security researchers
during the IFIP WG 1.7 International School on Foundations
of Security Analysis and Design, FOSAD 2000, held in
Bertinoro, Italy in September.
Contents
- Mathematical Models of Computer Security (Peter Y.A. Ryan)
- The Logic of Authentication Protocols (Paul Syversen and Iliano Cervesato)
- Access Control: Policies, Models, and Mechanisms (Pierangela Samarati and Sabrina de Capitani di Vimercati)
- Security Goals: Packet Trajectories and Strand Spaces (Joshua D. Guttman)
- Notes on Nominal Calculi for Security and Mobility (Andrew D. Gordon)
- Classification of Security Properties (Riccardo Focardi and Roberto Gorrieri).
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Springer |
| Auteur(s) | Riccardo Focardi, Roberto Gorrieri |
| Parution | 05/02/2002 |
| Nb. de pages | 396 |
| Format | 15,5 x 23,5 |
| Couverture | Broché |
| Poids | 629g |
| Intérieur | Noir et Blanc |
| EAN13 | 9783540428961 |
Avantages Eyrolles.com
Livraison à partir de 0,01 € en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
