Overview
- Presents the most current research, both professional and academic, in the fields of computer security and trust authentication
- Includes supplementary material: sn.pub/extras
Part of the book series: IFIP Advances in Information and Communication Technology (IFIPAICT, volume 173)
Included in the following conference series:
Conference proceedings info: IFIP WCC TC1 2004.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (17 papers)
-
Front Matter
Other volumes
-
Formal Aspects in Security and Trust
Keywords
About this book
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-art volume presents selected papers from the 2nd International Workshop on Formal Aspects in Security and Trust, held in conjuuctions with the 18th IFIP World Computer Congress, August 2004, in Toulouse, France.
The collection will be important not only for computer security experts and researchers but also for teachers and adminstrators interested in security methodologies and research.
Editors and Affiliations
Bibliographic Information
Book Title: Formal Aspects in Security and Trust
Book Subtitle: IFIP TC1 WG1.7 Workshop on Formal Aspects in Security and Trust (FAST), World Computer Congress, August 22-27, 2004, Toulouse, France
Editors: Theo Dimitrakos, Fabio Martinelli
Series Title: IFIP Advances in Information and Communication Technology
DOI: https://doi.org/10.1007/b104303
Publisher: Springer New York, NY
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: IFIP International Federation for Information Processing 2005
Hardcover ISBN: 978-0-387-24050-3Published: 19 January 2005
Softcover ISBN: 978-1-4419-3685-1Published: 06 December 2010
eBook ISBN: 978-0-387-24098-5Published: 04 October 2005
Series ISSN: 1868-4238
Series E-ISSN: 1868-422X
Edition Number: 1
Number of Pages: X, 246
Topics: Theory of Computation, Models and Principles, Performance and Reliability, Cryptology, Information Systems and Communication Service, Data Structures and Information Theory