Operational semantics and verification of security protocols | 三重大学附属図書館 OPAC

>> Google Books

タイトル、所在を表示します

Operational semantics and verification of security protocols

フォーマット:

図書

責任表示:

Cas Cremers, Sjouke Mauw

言語:

英語

出版情報:

New York : Springer, c2012

形態:

xiii, 172 p. ; 25 cm

著者名:

シリーズ名:

Information security and cryptography : texts and monographs <BA55823286>

書誌ID:

BB1106609X

ISBN:

9783540786351 [354078635X] (: hbk)

子書誌情報

所蔵情報

Loading availability information

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

詳細

資料形態(詳細):	Text
主題:	Computer network protocols; Computer networks--Security measures; Computer security--Methodology
登録日:	2012-12-19
分類・件名:	DC22 : 005.8 LCSH : Computer networks -- Security measures LCSH : Computer network protocols LCSH : Computer security -- Methodology

類似資料:

1

2

3

4

5

6

7

8

9

10

11

12

1 図書 Protocols by invariants Schoone, Anneke A. Cambridge University Press	7 図書 Information assurance in computer networks : methods, models and architectures for network security : International Workshop MMM-ACNS 2001, St. Petersburg, … MMM-ACNS, Gorodetski, Vladimir I., 1937-, Skormin, Victor A., 1946-, Popyack, Leonard J., 1963- Springer
2 図書 Principles, protocols, and architecture Comer, Douglas E. Prentice-Hall	8 図書 Algebraic specification of communication protocols Mauw, S, Veltink, G. J Cambridge University Press
3 図書 Principles, protocols, and architecture Comer, Douglas E. Prentice-Hall	9 図書 Formal correctness of security protocols Bella, Giampaolo Springer
4 図書 Network and Internet security Ahuja, Vijay AP Professional	10 図書 CONCUR '99 : concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings International Conference on Concurrency Theory, Baeten, Jos C.M., Mauw, Sjouke Springer
5 電子ブック Mac security bible Kissell, Joe Wiley	11 図書 Secure networking - CQRE [Secure] '99 : International Exhibition and Congress, Düsseldorf, Germany, November 30 - December 2, 1999 : proceedings CQRE [Secure], Baumgart, Rainer Springer
6 図書 Foundations of security analysis and design : tutorial lectures Focardi, Riccardo, 1970-, Gorrieri, Roberto Springer	12 図書 Universal routing strategies for interconnection networks Scheideler, Christian Springer