Formal aspects of security and trust : 7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers
書誌事項
- タイトル
- "Formal aspects of security and trust : 7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers"
- 責任表示
- Pierpaolo Degano, Sandro Etalle, Joshua Guttman (eds.)
- 出版者
-
- Springer
- 出版年月
-
- c2011
- 書籍サイズ
- 24 cm
- シリーズ名/番号
-
- : pbk
この図書・雑誌をさがす
注記
"seventh International Workshop on Formal Aspects of Security and Trust (FAST 2010), held in Pisa, ... as part of the 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010"--Preface
Includes bibliographical references and author index
- Tweet
詳細情報 詳細情報について
-
- CRID
- 1130000793746811136
-
- NII書誌ID
- BB08035021
-
- ISBN
- 9783642197505
-
- LCCN
- 2011922329
-
- Web Site
- https://lccn.loc.gov/2011922329
-
- 本文言語コード
- en
-
- 出版国コード
- gw
-
- タイトル言語コード
- en
-
- 出版地
-
- Heidelberg
-
- 分類
-
- DC22: 005.8
-
- 件名
-
- LCSH: Computer security -- Congresses
- LCSH: Formal methods (Computer science) -- Congresses
- LCSH: Cryptography -- Congresses
- FREE: FAST
- FREE: Trust
- FREE: Formal aspects
-
- データソース種別
-
- CiNii Books