Foundations of Security Analysis and Design IV

>> Google Books

Foundations of Security Analysis and Design IV / Alessandro Aldini, Roberto Gorrieri, Takeo Kanade

資料種別:

電子ブック

出版情報:

Springer eBooks Computer Science
Springer Berlin Heidelberg, 2007

著者名:

ISBN:

9783540748090 [3540748091]
9783540748106 [3540748105]

書誌ID:

OB00353494

子書誌情報

フルテキスト

所蔵情報

書誌詳細

その他の標題:

FOUNDATIONS OF SECURITY ANALYSIS & DESIGN IV

言語:

英語

目次情報:

Security Protocols: Principles and Calculi Tutorial Notes / Martin Abadi

Secure Service Orchestration / Massimo Bartoletti ; Pierpaolo Degano ; Gian Luigi Ferrari ; Roberto Zunino

IT Security Analysis Best Practices and Formal Approaches / Daniel Le Metayer

Low-Level Software Security: Attacks and Defnses / Ulfar Erlingsson

Enhancing Java Security with History Based Access Control / Fabio Martinelli ; Paolo Mori

On the Protection and Technologies of Critical Information Infrastructures / Javier Lopez ; Cristina Alcaraz ; Rodrigo Roman

An Interpretation of Identity-Based Cryptography / Liqun Chen

Trust and Reputation Systems / Audun Josang

An Introduction to the Role Based Trust Management Framework RT / Marcin Czenko ; Sandro Etalle ; Dongyi Li ; William H. Winsborough

Trusted Mobile Platforms / Eimear Gallery ; Chris J. Mitchell

Author Index

Security Protocols: Principles and Calculi Tutorial Notes / Martin Abadi

Secure Service Orchestration / Massimo Bartoletti ; Pierpaolo Degano ; Gian Luigi Ferrari ; Roberto Zunino

IT Security Analysis Best Practices and Formal Approaches / Daniel Le Metayer

Low-Level Software Security: Attacks and Defnses / Ulfar Erlingsson

Enhancing Java Security with History Based Access Control / Fabio Martinelli ; Paolo Mori

On the Protection and Technologies of Critical Information Infrastructures / Javier Lopez ; Cristina Alcaraz ; Rodrigo Roman

続きを見る

ブックレビュー

類似資料:

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

1

2

3

4

5

6

7

8

9

10

11

12