Graphical Models for Security Third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016, Revised Selected Papers /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Kordy, Barbara (Επιμελητής έκδοσης), Ekstedt, Mathias (Επιμελητής έκδοσης), Kim, Dong Seong (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Cham : Springer International Publishing : Imprint: Springer, 2016.
• Σειρά: Lecture Notes in Computer Science, 9987
• Θέματα: Computer science.; Computer communication systems.; Software engineering.; Computer security.; Algorithms.; Computer science > Mathematics.; Computer Science.; Systems and Data Security.; Discrete Mathematics in Computer Science.; Computer Communication Networks.; Software Engineering.; Algorithm Analysis and Problem Complexity.
• Φυσική περιγραφή: IX, 167 p. 62 illus. online resource.
• ISBN: 9783319462639
• ISSN: 0302-9743 ;

This book constitutes the refereed proceedings from the Third International Workshop on Graphical Models for Security, GraMSec 2016, held in Lisbon, Portugal, in June 2016. The 9 papers presented in this volume were carefully reviewed and selected from 23 submissions. The volume also contains the invited talk by Xinming Ou. GraMSec contributes to the development of well-founded graphical security models, efficient algorithms for their analysis, as well as methodologies for their practical usage. .