| 書目名稱 | Formal Aspects in Security and Trust |
| 副標題 | IFIP TC1 WG1.7 Works |
| 編輯 | Theo Dimitrakos,Fabio Martinelli |
| 視頻video | http://file.papertrans.cn/346/345645/345645.mp4 |
| 概述 | 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 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-14 06:16
發(fā)表于 2025-3-21 18:54:29
