Formal aspects of security and trust : 7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers

Web Site CiNii Available at 1 libraries

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

Related Books

See more

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
  • Data Source
    • CiNii Books
Back to top