Formal Aspects of Security and Trust  8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers /  [electronic resource] : 
edited by Gilles Barthe, Anupam Datta, Sandro Etalle. 
 - Berlin, Heidelberg :  Springer Berlin Heidelberg,  2012. 
 - 1 online resource (X, 279 p. 51 ill.) 
 - Lecture Notes in Computer Science,  7140  0302-9743 ; .
<br/><br/>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. 
<br/><br/><label>ISBN: </label>9783642294204 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Computer science.<br/>Computer communication systems.<br/>Computer security.<br/>Data encryption (Computer science).<br/>Information Storage and Retrieval.<br/>Computers and civilization.<br/>Management information systems.