03936nam 22008175 450 99646589000331620210106080101.03-642-27901-510.1007/978-3-642-27901-0(CKB)3400000000025767(SSID)ssj0000609748(PQKBManifestationID)11412061(PQKBTitleCode)TC0000609748(PQKBWorkID)10636163(PQKB)10314041(DE-He213)978-3-642-27901-0(MiAaPQ)EBC3071021(PPN)159087171(EXLCZ)99340000000002576720120117d2012 u| 0engurnn|008mamaatxtccrFoundations and Practice of Security[electronic resource] 4th Canada-France MITACS Workshop, FPS 2011, Paris, France, May 12-13, 2011, Revised Selected Papers /edited by Joaquin Garcia-Alfaro, Pascal Lafourcade1st ed. 2012.Berlin, Heidelberg :Springer Berlin Heidelberg :Imprint: Springer,2012.1 online resource (XIII, 253 p.) Security and Cryptology ;6888Bibliographic Level Mode of Issuance: Monograph3-642-27900-7 This book constitutes the carefully refereed and revised selected papers of the 4th Canada-France MITACS Workshop on Foundations and Practice of Security, FPS 2011, held in Paris, France, in May 2011. The book contains a revised version of 10 full papers, accompanied by 3 keynote addresses, 2 short papers, and 5 ongoing research reports. The papers were carefully reviewed and selected from 30 submissions. The topics covered are pervasive security and threshold cryptography; encryption, cryptanalysis and automatic verification; and formal methods in network security.Security and Cryptology ;6888Data encryption (Computer science)Software engineeringManagement information systemsComputer scienceComputer communication systemsAlgorithmsComputer logicCryptologyhttps://scigraph.springernature.com/ontologies/product-market-codes/I28020Software Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/I14029Management of Computing and Information Systemshttps://scigraph.springernature.com/ontologies/product-market-codes/I24067Computer Communication Networkshttps://scigraph.springernature.com/ontologies/product-market-codes/I13022Algorithm Analysis and Problem Complexityhttps://scigraph.springernature.com/ontologies/product-market-codes/I16021Logics and Meanings of Programshttps://scigraph.springernature.com/ontologies/product-market-codes/I1603XKongressParis2011.Conference proceedings.fastData encryption (Computer science).Software engineering.Management information systems.Computer science.Computer communication systems.Algorithms.Computer logic.Cryptology.Software Engineering.Management of Computing and Information Systems.Computer Communication Networks.Algorithm Analysis and Problem Complexity.Logics and Meanings of Programs.005.82SS 4800rvkGarcia-Alfaro Joaquinedthttp://id.loc.gov/vocabulary/relators/edtLafourcade Pascaledthttp://id.loc.gov/vocabulary/relators/edtFPS 2011BOOK996465890003316Foundations and practice of security1904968UNISA