Coverart for item
The Resource Formal Aspects of Security and Trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers, edited by Gilles Barthe, Anupam Datta, Sandro Etalle, (electronic resource)

Formal Aspects of Security and Trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers, edited by Gilles Barthe, Anupam Datta, Sandro Etalle, (electronic resource)

Label
Formal Aspects of Security and Trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
Title
Formal Aspects of Security and Trust
Title remainder
8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers
Statement of responsibility
edited by Gilles Barthe, Anupam Datta, Sandro Etalle
Contributor
Editor
Subject
Language
eng
Summary
  • This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Formal Aspects of Security and Trust, FAST 2011, held in conjunction with the 16th European Symposium on Research in Computer Security, ESORICS 2011, in Leuven, Belgium in September 2011. The 15 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 42 submissions. The papers focus on 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; and case studies
  • This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Formal Aspects of Security and Trust, FAST 2011, held in conjunction with the 16th European Symposium on Research in Computer Security, ESORICS 2011, in Leuven, Belgium in September 2011. The 15 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 42 submissions. The papers focus on 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; and case studies
  • This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Formal Aspects of Security and Trust, FAST 2011, held in conjunction with the 16th European Symposium on Research in Computer Security, ESORICS 2011, in Leuven, Belgium in September 2011. The 15 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 42 submissions. The papers focus on 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; and case studies
  • Annotation:
Member of
Is part of
Dewey number
004.6
http://bibfra.me/vocab/relation/httpidlocgovvocabularyrelatorsedt
  • 6Y6MTUUAMC8
  • -zOsVJRLGCs
  • awGxeSQpy1I
LC call number
TK5105.5-5105.9
http://library.link/vocab/relatedWorkOrContributorName
  • Barthe, Gilles
  • Datta, Anupam
  • Etalle, Sandro
  • SpringerLink (Online service)
Series statement
Security and Cryptology
Series volume
7140
http://library.link/vocab/subjectName
  • Computer Communication Networks
  • Data encryption (Computer science)
  • Computer security
  • Computer science
  • Information Systems
  • Information storage and retrieval systems
  • Computer Communication Networks
  • Cryptology
  • Systems and Data Security
  • Computers and Society
  • Management of Computing and Information Systems
  • Information Storage and Retrieval
Summary expansion
This book constitutes the thoroughly refereed post-conference proceedings of the 8th International Workshop on Formal Aspects of Security and Trust, FAST 2011, held in conjunction with the 16th European Symposium on Research in Computer Security, ESORICS 2011, in Leuven, Belgium in September 2011. The 15 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 42 submissions. The papers focus on 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; and case studies
Label
Formal Aspects of Security and Trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers, edited by Gilles Barthe, Anupam Datta, Sandro Etalle, (electronic resource)
Instantiates
Publication
Contents
  • 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
  • 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
  • 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
Control code
OCM1bookssj0000697497
Dimensions
unknown
Edition
1st ed. 2012.
Isbn
9783642294211
Isbn Type
(print)
Other control number
10.1007/978-3-642-29420-4
Specific material designation
remote
System control number
(WaSeSS)bookssj0000697497
Label
Formal Aspects of Security and Trust : 8th International Workshop, FAST 2011, Leuven, Belgium, September 12-14, 2011. Revised Selected Papers, edited by Gilles Barthe, Anupam Datta, Sandro Etalle, (electronic resource)
Publication
Contents
  • 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
  • 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
  • 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
Control code
OCM1bookssj0000697497
Dimensions
unknown
Edition
1st ed. 2012.
Isbn
9783642294211
Isbn Type
(print)
Other control number
10.1007/978-3-642-29420-4
Specific material designation
remote
System control number
(WaSeSS)bookssj0000697497

Library Locations

    • Ellis LibraryBorrow it
      1020 Lowry Street, Columbia, MO, 65201, US
      38.944491 -92.326012
    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
Processing Feedback ...