Cover Image
Read Now

Engineering Secure Software and Systems 5th International Symposium, ESSoS 2013, Paris, France, February 27 - March 1, 2013. Proceedings

This book constitutes the refereed proceedings of the 5th International Symposium on Engineering Secure Software and Systems, ESSoS 2013, held in Paris, France, in February/March 2013. The 13 revised full papers presented together with two idea papers were carefully reviewed and selected from 62 sub...

Full description

Bibliographic Details
Other Authors: Jürjens, Jan (Editor), Livshits, Ben (Editor), Scandariato, Riccardo (Editor)
Format: eBook
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2013, 2013
Edition:1st ed. 2013
Series:Security and Cryptology
Subjects:
Computer Communication Networks
Models Of Computation
Software Engineering
Computer Science
Computer Science / Mathematics
Cryptography
Data Structures And Information Theory
Computer Networks 
Mathematical Applications In Computer Science
Information Theory
Data Encryption (computer Science)
Data Structures (computer Science)
Cryptology
Online Access:
Collection: Springer eBooks 2005- - Collection details see MPG.ReNa
Description
Summary:This book constitutes the refereed proceedings of the 5th International Symposium on Engineering Secure Software and Systems, ESSoS 2013, held in Paris, France, in February/March 2013. The 13 revised full papers presented together with two idea papers were carefully reviewed and selected from 62 submissions. The papers are organized in topical sections on secure programming, policies, proving, formal methods, and analyzing
Physical Description:XII, 231 p. 40 illus online resource
ISBN:9783642365638

Similar Items