Formal aspects of security and trust : 7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers
Bibliographic Information
- Title
- "Formal aspects of security and trust : 7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers"
- Statement of Responsibility
- Pierpaolo Degano, Sandro Etalle, Joshua Guttman (eds.)
- Publisher
-
- Springer
- Publication Year
-
- c2011
- Book size
- 24 cm
- Series Name / No
-
- : pbk
Search this Book/Journal
Notes
"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
Details 詳細情報について
-
- CRID
- 1130000793746811136
-
- NII Book ID
- BB08035021
-
- ISBN
- 9783642197505
-
- LCCN
- 2011922329
-
- Web Site
- https://lccn.loc.gov/2011922329
-
- Text Lang
- en
-
- Country Code
- gw
-
- Title Language Code
- en
-
- Place of Publication
-
- Heidelberg
-
- Classification
-
- DC22: 005.8
-
- Subject
-
- LCSH: Computer security -- Congresses
- LCSH: Formal methods (Computer science) -- Congresses
- LCSH: Cryptography -- Congresses
- FREE: FAST
- FREE: Trust
- FREE: Formal aspects
-
- Data Source
-
- CiNii Books