书目名称 | Formal Aspects in Security and Trust |
副标题 | 5th International Wo |
编辑 | Pierpaolo Degano,Joshua Guttman,Fabio Martinelli |
视频video | |
丛书名称 | Lecture Notes in Computer Science |
图书封面 |  |
描述 | The present volume contains the proceedings of the 5th International Workshop on Formal Aspects in Security and Trust (FAST 2008), held in Malaga, Spain, October 9-10, 2008. FAST is an event a?liated with the 13th European Sym- sium on Research in Computer Security (ESORICS 2008). FAST 2008 was held under the auspices of the IFIP WG 1.7 on Foundations of Security Analysis and Design. The 5th International Workshop on Formal Aspects in Security and Trust (FAST 2008) aimed at continuing the successful e?ort of the previous three FAST workshop editions for fostering the cooperation among researchers in the areas of security and trust. As computing and network infrastructures become increasingly pervasive, and as they carry increasing economic activity, society needs well-matched security and trust mechanisms. These interactions incre- ingly span several enterprises and involve loosely structured communities of - dividuals. Participants in these activities must control interactions with their partners based on trust policies and business logic. Trust-based decisions - fectively determine the security goals for shared information and for access to sensitive or valuable resources. FAST s |
出版日期 | Conference proceedings 2009 |
关键词 | computer security; information; privacy; security; tools; trust; ubiquitous computing |
版次 | 1 |
doi | https://doi.org/10.1007/978-3-642-01465-9 |
isbn_softcover | 978-3-642-01464-2 |
isbn_ebook | 978-3-642-01465-9Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
issn_series | 0302-9743 |
copyright | Springer-Verlag Berlin Heidelberg 2009 |