| 书目名称 | Formal Aspects in Security and Trust |
| 副标题 | IFIP TC1 WG1.7 Works |
| 编辑 | Theo Dimitrakos,Fabio Martinelli |
| 视频video | |
| 概述 | Presents the most current research, both professional and academic, in the fields of computer security and trust authentication.Includes supplementary material: |
| 丛书名称 | IFIP Advances in Information and Communication Technology |
| 图书封面 |  |
| 描述 | .Second International Workshop on Formal Aspects in Security and Trust is an essential reference for both academic and professional researchers in the field of security and trust...Because of the complexity and scale of deployment of emerging ICT systems based on web service and grid computing concepts, we also need to develop new, scalable, and more flexible foundational models of pervasive security enforcement across organizational borders and in situations where there is high uncertainty about the identity and trustworthiness of the participating networked entites. On the other hand, the increasingly complex set of building activities sharing different resources but managed with different policies calls for new and business-enabling models of trust between members of virtual organizations and communities that span the boundaries of physical enterprises and loosely structured groups of individuals...The papers presented in this volume address the challenges posed by "ambient intelligence space" as a future paradigm and the need for a set of concepts, tools and methodologies to enable the user‘s trust and confidence in the underlying computing infrastructure. ..This state-of-the- |
| 出版日期 | Conference proceedings 20051st edition |
| 关键词 | Analysis; automata; complexity; computer; computer security; formal specification; information; logic |
| 版次 | 1 |
| doi | https://doi.org/10.1007/b104303 |
| isbn_softcover | 978-1-4419-3685-1 |
| isbn_ebook | 978-0-387-24098-5Series ISSN 1868-4238 Series E-ISSN 1868-422X |
| issn_series | 1868-4238 |
| copyright | IFIP International Federation for Information Processing 2005 |
发表于 2025-3-21 18:54:29
