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

>> Google Books

所蔵情報QRコード

Foundations of security analysis and design II : FOSAD 2001/2002 tutorial lectures / Riccardo Focardi, Roberto Gorrieri (eds.)

資料種別:

図書

出版情報:

Berlin ; Tokyo : Springer, c2004

形態:

vi, 265 p. ; 24 cm

シリーズ名:

Lecture notes in computer science ; 2946 <BA00009279>

著者名:

ISBN:

9783540209553 [3540209557]

書誌ID:

BA6614251X

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Includes bibliographical references and index
"International School on Foundations of Security Analysis and Design, 17-29 September 2001, 23-27 September 2002, Bertinoro, Italy, ... This volume collects six tutorial lectures given at these two schools." - p.[v]

主題:

Computer networks--Security measures; Computer security

言語:

英語

目次情報:

Two Formal Approaches for Approximating Noninterference Properties / Alessandro Aldini ; Mario Bravetti ; Alessandra Di Pierro ; Roberto Gorrieri ; Chris Hankin ; Herbert Wiklicky

The Key Establishment Problem / Carlo Blundo ; Paolo D'Arco

A Survey of Name-Passing Calculi and Crypto-Primitives / Michele Bugliesi ; Giuseppe Castagna ; Silvia Crafa ; Riccardo Focardi ; Vladimiro Sassone

Classification of Security Properties (Part II Network Security). / Fabio Martinelli

Cryptographic Algorithms for Multimedia Traffic / Rosario Gennaro

Security for Mobility / Hanne Riis Nielson ; Flemming Nielson ; Mikael Buchholtz

Author Index

Two Formal Approaches for Approximating Noninterference Properties / Alessandro Aldini ; Mario Bravetti ; Alessandra Di Pierro ; Roberto Gorrieri ; Chris Hankin ; Herbert Wiklicky

The Key Establishment Problem / Carlo Blundo ; Paolo D'Arco

A Survey of Name-Passing Calculi and Crypto-Primitives / Michele Bugliesi ; Giuseppe Castagna ; Silvia Crafa ; Riccardo Focardi ; Vladimiro Sassone

Classification of Security Properties (Part II Network Security). / Fabio Martinelli

Cryptographic Algorithms for Multimedia Traffic / Rosario Gennaro

Security for Mobility / Hanne Riis Nielson ; Flemming Nielson ; Mikael Buchholtz

続きを見る

東工大ブックレビュー

類似資料:

1 図書 Foundations of security analysis and design : tutorial lectures Focardi, Riccardo, 1970-, Gorrieri, Roberto Springer	7 電子ブック Foundations of Security Analysis and Design VI Aldini, Alessandro, Gorrieri, Roberto, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
2 図書 Foundations of security analysis and design III : FOSAD 2004/2005 tutorial lectures International School on Foundations of Security Analysis and Design, Aldini, Alessandro, Gorrieri, Roberto, Martinelli, … Springer	8 電子ブック Foundations of Security Analysis and Design IV Aldini, Alessandro, Gorrieri, Roberto, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
3 電子ブック Foundations of Security Analysis and Design II Riccardo Focardi, Focardi, Riccardo, Gorrieri, Roberto SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg	9 電子ブック Foundations of Security Analysis and Design IV Aldini, Alessandro, Gorrieri, Roberto, Kanade, Takeo SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
4 電子ブック Foundations of Security Analysis and Design Riccardo Focardi, Focardi, Riccardo, Gorrieri, Roberto SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	10 図書 Secrets and lies : digital security in a networked world Schneier, Bruce, 1963- John Wiley
5 図書 Information security risk analysis Peltier, Thomas R. Auerbach	11 図書 Applied information security labs : a hands-on approach (: pbk) Boyle, Randall, Proudfoot, Jeffrey G. Pearson Education
6 図書 Computer system and network security White, Gregory B., Fisch, Eric A., Pooch, Udo W., 1944- CRC Press	12 図書 Network security : private communication in a public world (: hbk) Kaufman, Charlie, Perlman, Radia, Speciner, Mike Prentice Hall PTR