04026nam 22007815 450 99646592060331620200702032244.03-642-28641-010.1007/978-3-642-28641-4(CKB)3360000000365926(SSID)ssj0000666287(PQKBManifestationID)11452710(PQKBTitleCode)TC0000666287(PQKBWorkID)10664133(PQKB)11283049(DE-He213)978-3-642-28641-4(MiAaPQ)EBC3070961(PPN)168312441(EXLCZ)99336000000036592620120321d2012 u| 0engurnn#008mamaatxtccrPrinciples of Security and Trust[electronic resource] First International Conference, POST 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, Proceedings /edited by Pierpaolo Degano, Joshua D. Guttman1st ed. 2012.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2012.1 online resource (XIV, 431 p.)Security and Cryptology ;7215Bibliographic Level Mode of Issuance: Monograph3-642-28640-2 Includes bibliographical references and index.This book constitutes the refereed proceedings of the first International Conference on Principles of Security and Trust, POST 2012, held in Tallinn, Estonia, in March/April 2012, as part of ETAPS 2012, the European Joint Conferences on Theory and Practice of Software. The 20 papers, presented together with the abstract of an invited talk and a joint-ETAPS paper, were selected from a total of 67 submissions. Topics covered by the papers include: foundations of security, authentication, confidentiality, privacy and anonymity, authorization and trust, network security, protocols for security, language-based security, and quantitative security properties.Security and Cryptology ;7215Computer communication systemsData encryption (Computer science)Computer securityComputers and civilizationManagement information systemsComputer scienceAlgorithmsComputer 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/I24067Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Computer communication systems.Data encryption (Computer science).Computer security.Computers and civilization.Management information systems.Computer science.Algorithms.Computer Communication Networks.Cryptology.Systems and Data Security.Computers and Society.Management of Computing and Information Systems.Algorithm Analysis and Problem Complexity.004.6Degano Pierpaoloedthttp://id.loc.gov/vocabulary/relators/edtGuttman Joshua Dedthttp://id.loc.gov/vocabulary/relators/edtBOOK996465920603316Principles of Security and Trust2022536UNISA