Foundations of Security Analysis and Design IV : FOSAD 2006/2007 Tutorial Lectures

>> Google Books

Foundations of Security Analysis and Design IV : FOSAD 2006/2007 Tutorial Lectures

フォーマット:

電子ブック

責任表示:

edited by Alessandro Aldini Roberto Gorrieri

言語:

英語

出版情報:

Berlin Heidelberg : Springer-Verlag, 2007

形態:

v.: digital

著者名:

シリーズ名:

Lecture Notes in Computer Science ; 4677

書誌ID:

NB02218993

ISBN:

9783540748106 [3540748105]

学内からのみアクセスすることができます。

子書誌情報

オンライン

http://dx.doi.org/10.1007/978-3-540-74810-6

所蔵情報

タイトルが類似している資料

詳細

主題:	Computer Communication Networks; Computer Science; Data Encryption; Logics and Meanings of Programs; Management of Computing and Information Systems; Operating Systems; Programming Languages Compilers Interpreters
分類・件名:	FREE : Operating Systems FREE : Computer Science LCSH : Logic design FREE : Logics and Meanings of Programs FREE : Management of Computing and Information Systems FREE : Programming Languages Compilers Interpreters LCSH : Information Systems LCSH : Data encryption (Computer science) FREE : Computer Communication Networks LCSH : Computer Communication Networks LCSH : Operating systems (Computers) LCSH : Computer science FREE : Data Encryption
TTLL:	eng

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 電子ブック Foundations of Security Analysis and Design III : FOSAD 2004/2005 Tutorial Lectures Aldini, Alessandro, Gorrieri, Roberto, Martinelli, Fabio, SpringerLink (Online service) Springer-Verlag GmbH.	7 電子ブック Computer Security ?EESORICS 2007 : 12th European Symposium On Research In Computer Security Dresden Germany September 24 ?E26 2007. Proceedings Biskup Joachim, Lopez Javier, SpringerLink (Online service) Springer-Verlag
2 電子ブック Foundations of Security Analysis and Design V : FOSAD 2007/2008/2009 Tutorial Lectures Aldini, Alessandro, Gorrieri, Roberto, Barthe, Gilles, SpringerLink (Online service) Springer Berlin Heidelberg	8 電子ブック Emerging Trends in Information and Communication Security : International Conference ETRICS 2006 Freiburg Germany June 6-9 2006. Proceedings M-ller G-nter, SpringerLink (Online service) Springer-Verlag GmbH.
3 電子ブック Foundations of Security Analysis and Design VI : FOSAD Tutorial Lectures Aldini, Alessandro, Gorrieri, Roberto, SpringerLink (Online service) Springer-Verlag GmbH Berlin Heidelberg	9 電子ブック Advances in Information and Computer Security : First International Workshop on Security IWSEC 2006 Kyoto Japan October 23-242006 Proceedings Yoshiura Hiroshi, Rannenberg Kai, Murayama Yuko, Sakurai Kouichi, SpringerLink (Online service) Springer-Verlag GmbH.
4 電子ブック Formal Methods for Open Object-Based Distributed Systems (vol. 4037) : 8th IFIP WG 6.1 International Conference FMOODS 2006 Bologna Italy June 14-162006 … Gorrieri Roberto, Wehrheim Heike, SpringerLink (Online service) Springer-Verlag GmbH.	10 電子ブック Financial Cryptography and Data Security (vol. 4107) : 10th International Conference FC 2006 Anguilla British West Indies February 27 - March 22006 Revised … Di Crescenzo Giovanni, Rubin Avi, SpringerLink (Online service) Springer-Verlag GmbH.
5 電子ブック Security and Cryptography for Networks : 5th International Conference SCN 2006 Maiori Italy September 6-82006 Proceedings De Prisco Roberto, Yung Moti, SpringerLink (Online service) Springer-Verlag GmbH.	11 電子ブック Computer Security - ESORICS 2006 : 11th European Symposium on Research in Computer Security Hamburg Germany September 18-202006 Proceedings Asarin Eugene, Meier Jan, Gollmann Dieter, Sabelfeld Andrei, SpringerLink (Online service) Springer-Verlag GmbH.
6 電子ブック Formal Methods for Hardware Verification : 6th International School on Formal Methods for the Design of Computer Communication and Software Systems SFM 2006 … Bernardo Marco, Cimatti Alessandro, SpringerLink (Online service) Springer-Verlag GmbH.	12 電子ブック Applied Cryptography and Network Security (vol. 3989) : 4th International Conference ACNS 2006 Singapore June 6-92006 Proceedings Zhou Jianying, Bao Feng, Yung Moti, SpringerLink (Online service) Springer-Verlag GmbH.