About these proceedings
This book constitutes the thoroughly refereed post-proceedings of the 7th Symposium on Foundations and Practice of Security, FPS 2014, held in Montreal, QC, Canada, in November 2014. The 18 revised full papers presented together with 5 short papers and 2 position papers were carefully reviewed and selected from 48 submissions. The papers are organized in topical sections on privacy; software security and malware analysis; network security and protocols; access control models and policy analysis; protocol verification; and cryptographic technologies.
Access control Attacks Computer security Cryptography Encryption Formal verification Malware Network security Privacy management Secret sharing Security and privacy Security protocols Security services Software security intrusion detection
Springer International Publishing Switzerland 2015
Series Print ISSN
Series Online ISSN
Buy this book on publisher's site