Del i serien Lecture Notes in Computer Science
Formal Aspects of Security and Trust
7th International Workshop, FAST 2010, Pisa, Italy, September 16-17, 2010. Revised Selected Papers
Häftad, Engelska, 2011
739 kr
Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.
Finns i fler format (1)
This book constitutes the thoroughly refereed post-proceedings of the 7th International Workshop on Formal Aspects of Security and Trust, FAST 2010, held as part of the 8th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2010 in Pisa, Italy in September 2010. The 14 revised full papers presented together with one invited paper were carefully reviewed and selected from 42 submissions. The papers focus of formal aspects in security and trust policy models, security protocol design and analysis, formal models of trust and reputation, logics for security and trust, distributed trust management systems, trust-based reasoning, digital assets protection, data protection, privacy and id issues, information flow analysis, language-based security, security and trust aspects in ubiquitous computing, validation/analysis tools, web service security/trust/privacy, grid security, security risk assessment, and case studies.
Produktinformation
- Utgivningsdatum2011-03-07
- Mått155 x 235 x undefined mm
- FormatHäftad
- SpråkEngelska
- SerieLecture Notes in Computer Science
- Antal sidor239
- FörlagSpringer-Verlag Berlin and Heidelberg GmbH & Co. KG
- ISBN9783642197505
Tillhör följande kategorier
Hoppa över listan
Mer från samma författare
Automata, Languages and Programming
Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela
Häftad, 1997
1 479 kr
Formal Methods for Computational Systems Biology
Marco Bernardo, Pierpaolo Degano, Gianluigi Zavattaro
Häftad, 2008
739 kr
Formal Aspects in Security and Trust
Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli
Häftad, 2009
739 kr
THEORETICAL COMPUTER SCIENCE - PROCEEDINGS OF THE 6TH ITALIAN CONFERENCE
DEGANO PIERPAOLO, Pierpaolo Degano, Ugo Vaccaro, Giuseppe Pirillo
Inbunden, 1998
2 989 kr
Hoppa över listan
Mer från samma serie
Del 16375
Agent Mediated Electronic Commerce II
Alexandros Moukas, Carles Sierra, Fredrik Ygge
Häftad, 2000
739 kr
Del 16376
Segmentation, Classification, and Synthesis for Brain Tumors and Traumatic Brain Injuries
Spyridon Bakas, Emily Dennis, Mehdi Astaraki, Ujjwal Baid, Gian Marco Conte, Martha Foltyn-Dumitru, Zhifan Jiang, Dominic Labella, Marie-Christin Metz, Udunna Anazodo, Maria Correia de Verdier, Florian Kofler, Hongwei Bran Li, Marius George Linguraru, Nazanin Maleki
Häftad, 2026
1 209 kr
Del 15401
Medical Image Computing and Computer Assisted Intervention – MICCAI 2024 Workshops
Anna Schroder, Xiang Li, Tanveer Syeda-Mahmood, Neil P. Oxtoby, Alexandra Young, Alessa Hering, Tejas S. Mathai, Pritam Mukherjee, Sven Kuckertz, Tiantian He, Isaac Llorente-Saguer, Andreas Maier, Satyananda Kashyap, Hayit Greenspan, Anant Madabhushi
Häftad, 2025
959 kr
Del 16625
Hoppa över listan
Du kanske också är intresserad av
Del 12300
Logic, Language, and Security
Vivek Nigam, Tajana Ban Kirigin, Carolyn Talcott, Joshua Guttman, Stepan Kuznetsov, Boon Thau Loo, Mitsuhiro Okada
Häftad, 2020
889 kr
Del 238
THEORETICAL COMPUTER SCIENCE - PROCEEDINGS OF THE 6TH ITALIAN CONFERENCE
DEGANO PIERPAOLO, Pierpaolo Degano, Ugo Vaccaro, Giuseppe Pirillo
Inbunden, 1998
2 989 kr
Automata, Languages and Programming
Pierpaolo Degano, Roberto Gorrieri, Alberto Marchetti-Spaccamela
Häftad, 1997
1 479 kr