TY  - BOOK
AU  - Dimitrakos,Theo
ED  - FAST (Workshop)
TI  - Formal aspects in security and trust: third international workshop, FAST 2005, Newcastle upon Tyne, UK, July 18-19, 2005 : revised selected papers 
T2  - Lecture notes in computer science,
SN  - 9783540326298
AV  - QA76.9.A25 F36 2005
U1  - 005.8 22
PY  - 2006///
CY  - Berlin, New York
PB  - Springer
KW  - Computer security
KW  - Congresses
KW  - Formal methods (Computer science)
KW  - Trust
KW  - Sécurité informatique
KW  - Congrès
KW  - Méthodes formelles (Informatique)
KW  - Confiance
KW  - COMPUTERS
KW  - Internet
KW  - Security
KW  - bisacsh
KW  - Networking
KW  - General
KW  - cct
KW  - Informatique
KW  - eclas
KW  - fast
KW  - computers
KW  - samenleving
KW  - society
KW  - informatieontsluiting
KW  - information retrieval
KW  - informatieopslag
KW  - information storage
KW  - informatiesystemen
KW  - information systems
KW  - computerwetenschappen
KW  - computer sciences
KW  - computernetwerken
KW  - computer networks
KW  - gegevensbeheer
KW  - data management
KW  - operating systems
KW  - Information and Communication Technology (General)
KW  - Informatie- en communicatietechnologie (algemeen)
KW  - Congress
KW  - Conference papers and proceedings
KW  - lcgft
KW  - Actes de congrès
KW  - rvmgf
KW  - Kongress
KW  - swd
N1  - Includes bibliographical references and index; Voting Technologies and Trust -- On the Formal Analyses of the Zhou-Gollmann Non-repudiation Protocol -- Formal Reasoning About a Specification-Based Intrusion Detection for Dynamic Auto-configuration Protocols in Ad Hoc Networks -- A Formal Approach for Reasoning About a Class of Diffie-Hellman Protocols -- Eliminating Implicit Information Leaks by Transformational Typing and Unification -- Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations -- Opacity Generalised to Transition Systems -- Unifying Decidability Results on Protection Systems Using Simulations -- Proof Obligations Preserving Compilation -- A Logic for Analysing Subterfuge in Delegation Chains -- Probable Innocence Revisited -- Relative Trustworthiness -- Secure Untrusted Binaries -- Provably! -- Normative Specification: A Tool for Trust and Security -- Type-Based Distributed Access Control vs. Untyped Attackers -- A Security Management Information Model Derivation Framework: From Goals to Configurations -- On Anonymity with Identity Escrow -- Towards Verification of Timed Non-repudiation Protocols; Electronic reproduction; [Place of publication not identified]; HathiTrust Digital Library; 2010
N2  - This book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Aspects in Security and Trust, FAST 2005, held in Newcastle upon Tyne, UK in July 2005. The 17 revised papers presented together with the extended abstract of 1 invited paper were carefully reviewed and selected from 37 submissions. The papers focus on 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
UR  - https://link.springer.com/10.1007/11679219
ER  -