語系
Kordy, Barbara.
概要
作品: | 0 作品在 2 項出版品 1 種語言 |
---|
書目資訊
Graphical models for security = third International Workshop, GraMSec 2016, Lisbon, Portugal, June 27, 2016 : revised selected papers /
by:
Kordy, Barbara.; SpringerLink (Online service); Kim, Dong Seong.; International Workshop on Graphical Models for Security (2016 :); Ekstedt, Mathias.
(書目-電子資源)
Graphical models for security = second International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015 : revised selected papers /
by:
Mauw, Sjouke.; Kordy, Barbara.; Jajodia, Sushil.; SpringerLink (Online service)
(書目-電子資源)
主題
Software Engineering.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Information Systems Applications (incl. Internet)
Computer security- Graphic methods
Computer networks- Security measures
Computer Science.
Systems and Data Security.
Computer Communication Networks.
Discrete Mathematics in Computer Science.