000 04687nam a22006735i 4500
001 978-3-642-01465-9
003 DE-He213
005 20240730183207.0
007 cr nn 008mamaa
008 100301s2009 gw | s |||| 0|eng d
020 _a9783642014659
_9978-3-642-01465-9
024 7 _a10.1007/978-3-642-01465-9
_2doi
050 4 _aQA76.9.A25
072 7 _aUR
_2bicssc
072 7 _aUTN
_2bicssc
072 7 _aCOM053000
_2bisacsh
072 7 _aUR
_2thema
072 7 _aUTN
_2thema
082 0 4 _a005.8
_223
245 1 0 _aFormal Aspects in Security and Trust
_h[electronic resource] :
_b5th International Workshop, FAST 2008 Malaga, Spain, October 9-10, 2008, Revised Selected Papers /
_cedited by Pierpaolo Degano, Joshua D. Guttman, Fabio Martinelli.
250 _a1st ed. 2009.
264 1 _aBerlin, Heidelberg :
_bSpringer Berlin Heidelberg :
_bImprint: Springer,
_c2009.
300 _aX, 331 p.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aSecurity and Cryptology,
_x2946-1863 ;
_v5491
505 0 _aFormal Certification of ElGamal Encryption -- Secure Information Flow as a Safety Property -- Who Can Declassify? -- Non-Interference for Deterministic Interactive Programs -- Information-Theoretic Modeling and Analysis of Interrupt-Related Covert Channels -- Causality and Accountability -- Dynamics, Robustness and Fragility of Trust -- Trust within the Context of Organizations: A Formal Approach -- Know What You Trust -- Privacy-Friendly Electronic Traffic Pricing via Commits -- A Formal Privacy Management Framework -- Parameterised Anonymity -- Automatic Methods for Analyzing Non-repudiation Protocols with an Active Intruder -- Petri Net Security Checker: Structural Non-interference at Work -- Verifying Multi-party Authentication Using Rank Functions and PVS -- The Append-Only Web Bulletin Board -- Secure Broadcast Ambients -- Extending Anticipation Games with Location, Penalty and Timeline -- Do You Really Mean What You Actually Enforced? -- Delegating Privileges over Finite Resources: A Quota Based Delegation Approach -- Access Control and Information Flow in Transactional Memory.
520 _aThis book constitutes the thoroughly refereed post-workshop proceedings of the 5th International Workshop on Formal Aspects in Security and Trust, FAST 2008, held under the auspices of IFIP WG 1.7 in Malaga, Spain, in October 2008 as a satellite event of 13th European Symposium on Research in Computer Security. The 20 revised papers presented were carefully reviewed and selected from 59 submissions. The papers focus of formal aspects in security, trust and reputation, security protocol design and analysis, logics for security and trust, trust-based reasoning, distributed trust management systems, digital asset protection, data protection, privacy and id management issues, information flow analysis, language-based security, security and trust aspects in ubiquitous computing, validation/analysis tools, Web/grid services security/trust/privacy, security and risk assessment, resource and access control, as well as case studies.
650 0 _aData protection.
_97245
650 0 _aComputer networks .
_931572
650 0 _aCryptography.
_91973
650 0 _aData encryption (Computer science).
_99168
650 0 _aComputers and civilization.
_921733
650 0 _aElectronic data processing
_xManagement.
_9130908
650 0 _aInformation storage and retrieval systems.
_922213
650 1 4 _aData and Information Security.
_931990
650 2 4 _aComputer Communication Networks.
_9130909
650 2 4 _aCryptology.
_931769
650 2 4 _aComputers and Society.
_931668
650 2 4 _aIT Operations.
_931703
650 2 4 _aInformation Storage and Retrieval.
_923927
700 1 _aDegano, Pierpaolo.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9130910
700 1 _aGuttman, Joshua D.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9130911
700 1 _aMartinelli, Fabio.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_9130912
710 2 _aSpringerLink (Online service)
_9130913
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783642014642
776 0 8 _iPrinted edition:
_z9783642014666
830 0 _aSecurity and Cryptology,
_x2946-1863 ;
_v5491
_9130914
856 4 0 _uhttps://doi.org/10.1007/978-3-642-01465-9
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
912 _aZDB-2-LNC
942 _cELN
999 _c91725
_d91725