04766nam 22008055 450 99646527840331620200701144748.01-280-38625-897866135641773-642-12459-310.1007/978-3-642-12459-4(CKB)2670000000017280(SSID)ssj0000446470(PQKBManifestationID)11271325(PQKBTitleCode)TC0000446470(PQKBWorkID)10491228(PQKB)11457676(DE-He213)978-3-642-12459-4(MiAaPQ)EBC3065230(PPN)149073275(EXLCZ)99267000000001728020100429d2010 u| 0engurnn#008mamaatxtccrFormal Aspects in Security and Trust[electronic resource] 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009, Revised Selected Papers /edited by Pierpaolo Degano, Joshua D. Guttman1st ed. 2010.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2010.1 online resource (X, 279 p. 46 illus.)Security and Cryptology ;5983Bibliographic Level Mode of Issuance: Monograph3-642-12458-5 Includes bibliographical references and index.Invited Lecture -- Semantics and Enforcement of Expressive Information Flow Policies -- Session 1. Trust -- An Algebra for Trust Dilution and Trust Fusion -- HMM-Based Trust Model -- Deriving Trust from Experience -- Reflections on Trust: Trust Assurance by Dynamic Discovery of Static Properties -- Session 2. Workflow and Orchestration -- Model Checking of Security-Sensitive Business Processes -- Session 3. Secure Flow -- Analysing the Information Flow Properties of Object-Capability Patterns -- Applied Quantitative Information Flow and Statistical Databases -- Specification and Verification of Side Channel Declassification -- Secure Information Flow for Distributed Systems -- Session 4. Mobility and Deniability -- Probable Innocence in the Presence of Independent Knowledge -- A Calculus of Trustworthy Ad Hoc Networks -- Session 5. Protocols 1 -- Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties -- Game-Based Verification of Multi-Party Contract Signing Protocols -- Attack, Solution and Verification for Shared Authorisation Data in TCG TPM -- Session 6. Protocols 2 -- Trusted Multiplexing of Cryptographic Protocols -- Specifying and Modelling Secure Channels in Strand Spaces -- Session 7. Protocols 3 -- Integrating Automated and Interactive Protocol Verification -- A User Interface for a Game-Based Protocol Verification Tool.Security and Cryptology ;5983Computer communication systemsData encryption (Computer science)Computer securityComputers and civilizationManagement information systemsComputer scienceInformation storage and retrievalComputer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Cryptologyhttps://scigraph.springernature.com/ontologies/product-market-codes/I28020Systems and Data Securityhttps://scigraph.springernature.com/ontologies/product-market-codes/I28060Computers and Societyhttps://scigraph.springernature.com/ontologies/product-market-codes/I24040Management of Computing and Information Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I24067Information Storage and Retrievalhttps://scigraph.springernature.com/ontologies/product-market-codes/I18032Computer communication systems.Data encryption (Computer science).Computer security.Computers and civilization.Management information systems.Computer science.Information storage and retrieval.Computer Communication Networks.Cryptology.Systems and Data Security.Computers and Society.Management of Computing and Information Systems.Information Storage and Retrieval.004.6Degano Pierpaoloedthttp://id.loc.gov/vocabulary/relators/edtGuttman Joshua Dedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465278403316Formal Aspects in Security and Trust772285UNISA01682nam0 22003373i 450 CFI003517520251003044113.020190910d1983 ||||0itac50 baitaitz01i xxxe z01nz01ncRDAcarrierObblighi di fare ed eseguibilitàLanfranco Ferroni[Napoli]Edizioni scientifiche italiane[1983]388 p.24 cm.Pubblicazioni della Scuola di perfezionamento in diritto civile dell'Università di Camerino36001CFI00030802001 Pubblicazioni della Scuola di perfezionamento in diritto civile dell'Università di Camerino3671201Università degli studi di Camerino : Scuola di specializzazione in diritto civileCFIV001619EsecuzioneDiritto del lavoroFIRSBLC042545IObbligazioniFungibilitàFIRSBLC028263I346.45077DIRITTO COMMERCIALE. DEBITORE E CREDITORE. ITALIA19Ferroni, LanfrancoCFIV021147070145119ITIT-00000020190910IT-BN0095 IT-NA0079 IT-BN0015 NAP 01D $NAP BNC Comprende volumi con collocazioni per formato catalogati prima del 1987. La consegna del doc. é effettuata dall'Uff. Distribuzione.CFI0035175Biblioteca Centralizzata di Ateneo 01D (AR) 24 731 01AR 0000247315 VMA 1 v.Y 2024090420240904 01 BN PBObblighi di fare ed eseguibilità681236UNISANNIO