Languages
Probst, Christian W.
Overview
Works: | 0 works in 2 publications in 1 languages |
---|
Titles
Graphical models for security6th International Workshop, GraMSec 2019, Hoboken, NJ, USA, June 24, 2019 : revised papers /
by:
(1998 :); Albanese, Massimiliano.; Horne, Ross.; Probst, Christian W.; SpringerLink (Online service)
(Electronic resources)
Insider threats in cyber security
by:
Probst, Christian W.; SpringerLink (Online service)
(Electronic resources)
Semantics, logics, and calculiessays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays /
by:
Hankin, Chris.; Hansen, Rene Rydhof.; Probst, Christian W.; SpringerLink (Online service)
(Electronic resources)
Subjects
Computer security.
Data Structures, Cryptology and Information Theory.
Software Engineering.
Mathematical Logic and Formal Languages.
Theory of Computation.
Calculus.
Logics and Meanings of Programs.
Mathematics of Computing.
Information Systems Applications (incl. Internet)
Algorithm Analysis and Problem Complexity.
Programming Languages, Compilers, Interpreters.
Internet
Data Encryption.
Information Systems Applications (incl.Internet)
Semantic computing.
Computer security
Computer Imaging, Vision, Pattern Recognition and Graphics.
Computer networks
Computer Science.
Systems and Data Security.
Computer Communication Networks.
Computer Systems Organization and Communication Networks.