Languages
Mauw, Sjouke.
Overview
| Works: | 5 works in 5 publications in 1 languages | |
|---|---|---|
Titles
Graphical models for security4th International Workshop, GraMSec 2017, Santa Barbara, CA, USA, August 21, 2017 : revised selected papers /
by:
(1998 :); Liu, Peng.; Mauw, Sjouke.; SpringerLink (Online service); Stolen, Ketil.
(Electronic resources)
Security and trust management15th International Workshop, STM 2019, Luxembourg City, Luxembourg, September 26-27, 2019 : proceedings /
by:
(1998 :); Conti, Mauro.; Mauw, Sjouke.; SpringerLink (Online service)
(Electronic resources)
Operational semantics and verification of security protocols
by:
Cremers, Cas.; Mauw, Sjouke.; SpringerLink (Online service)
(Electronic resources)
Security and trust management10th International Workshop, STM 2014, Wroclaw, Poland, September 10-11, 2014 : proceedings /
by:
(1998 :); Jensen, Christian Damsgaard.; Mauw, Sjouke.; SpringerLink (Online service)
(Language materials, printed)
CONCUR '99concurrency theory : 10th International Conference, Eindhoven, the Netherlands, August 24-27, 1999 : proceedings /
by:
(1998 :); Baeten, Jos C.M.; Mauw, Sjouke.; SpringerLink (Online service)
(Electronic resources)
Public Key Infrastructure5th European PKI Workshop: Theory and Practice, EuroPKI 2008 Trondheim, Norway, June 16-17, 2008 Proceedings /
by:
(1998 :); Katsikas, Sokratis K.; Mauw, Sjouke.; Mjolsnes, Stig F.; SpringerLink (Online service)
(Electronic resources)
Graphical models for securitysecond International Workshop, GraMSec 2015, Verona, Italy, July 13, 2015 : revised selected papers /
by:
(1998 :); Jajodia, Sushil.; Kordy, Barbara.; Mauw, Sjouke.; SpringerLink (Online service)
(Electronic resources)
Subjects
Public key cryptography
Computer security.
Data Structures, Cryptology and Information Theory.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Logics and Meanings of Programs.
Algorithm Analysis and Problem Complexity.
Management of Computing and Information Systems.
Multitasking (Computer science)
Information Systems Applications (incl. Internet)
Programming Techniques.
Artificial Intelligence (incl. Robotics)
Computing Milieux.
Data encryption (Computer science)
Information Storage and Retrieval.
Data Encryption.
Information Systems Applications (incl.Internet)
Semantic computing.
Computer security
Public key infrastructure (Computer security)
Computer networks
Computer Science.
Computers and Society.
Parallel processing (Electronic computers)
Computer Systems Organization and Communication Networks.
Systems and Data Security.
Computer Communication Networks.
e-Commerce/e-business.