Foundations of Security Analysis and Design II

>> Google Books

Foundations of Security Analysis and Design II / Riccardo Focardi, Riccardo Focardi, Roberto Gorrieri

資料種別:

電子ブック

出版情報:

SpringerLink Books - AutoHoldings
Springer Berlin / Heidelberg, 2004

著者名:

ISBN:

9783540209553 [3540209557]
9786610306831 [6610306834]

書誌ID:

OB00494314

子書誌情報

フルテキスト

所蔵情報

書誌詳細

その他の標題:

FOSAD 2001/2002 TUTORIAL LECTURES

言語:

英語

目次情報:

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 Riccardo Focardi, Focardi, Riccardo, Gorrieri, Roberto SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg	7 電子ブック Foundations of Security Analysis and Design IV Aldini, Alessandro, Gorrieri, Roberto, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
2 電子ブック Foundations of Security Analysis and Design II : FOSAD 2001/2002 Tutorial Lectures Focardi, Riccardo., Gorrieri, Roberto., SpringerLink (Online service)	8 電子ブック Foundations of Security Analysis and Design IV Aldini, Alessandro, Gorrieri, Roberto, Kanade, Takeo SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
3 図書 Foundations of security analysis and design : tutorial lectures Focardi, Riccardo, 1970-, Gorrieri, Roberto Springer	9 電子ブック Foundations of Security Analysis and Design V Aldini, Alessandro, Barthe, Gilles, Gorrieri, Roberto, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg
4 電子ブック Foundations of Security Analysis and Design : Tutorial Lectures Focardi, Riccardo., Gorrieri, Roberto., SpringerLink (Online service)	10 電子ブック Foundations of Security Analysis and Design V Aldini, Alessandro, Barthe, Gilles, Gorrieri, Roberto, Kanade, Takeo SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
5 図書 Foundations of security analysis and design II : FOSAD 2001/2002 tutorial lectures International School on Foundations of Security Analysis and Design, Focardi, Riccardo, 1970-, Gorrieri, Roberto Springer	11 電子ブック Foundations of Security Analysis and Design VI Aldini, Alessandro, Gorrieri, Roberto, Kanade, Takeo, Kittler, Josef SpringerLink Books - AutoHoldings, Springer Berlin Heidelberg
6 電子ブック Foundations of Security Analysis and Design VI Aldini, Alessandro, Gorrieri, Roberto, Kanade, Takeo Springer eBooks Computer Science, Springer Berlin Heidelberg	12 電子ブック Foundations of Security Analysis and Design III International School on Foundations of Security Analysis and Design, Aldini, Alessandro, Gorrieri, Roberto, Kanade, … Springer eBooks Computer Science, Springer Berlin / Heidelberg

1

2

3

4

5

6

7

8

9

10

11

12