TY  - BOOK
AU  - Barthe,Gilles
AU  - Datta,Anupam
AU  - Etalle,Sandro
TI  - Formal Aspects of Security and Trust: 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers 
SN  - 9783642294204
PY  - 2012///
CY  - Berlin, Heidelberg
PB  - Springer Berlin Heidelberg
KW  - Computer science
KW  - Computer communication systems
KW  - Computer security
KW  - Data encryption (Computer science)
KW  - Information Storage and Retrieval
KW  - Computers and civilization
KW  - Management information systems
N1  - 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 of ubiquitous computing -- validation/analysis tools -- web service security/trust/privacy -- grid security -- security risk assessment -- case studies
UR  - http://dx.doi.org/10.1007/978-3-642-29420-4
ER  -