語系
Cremers, Cas.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Security standardisation research4th International Conference, SSR 2018, Darmstadt, Germany, November 26-27, 2018 : proceedings /
by:
(1998 :); Cremers, Cas.; Lehmann, Anja.; SpringerLink (Online service)
(書目-電子資源)
Operational semantics and verification of security protocols
by:
Cremers, Cas.; Mauw, Sjouke.; SpringerLink (Online service)
(書目-電子資源)
主題
Computer security.
Data Structures, Cryptology and Information Theory.
Software Engineering.
Software Engineering/Programming and Operating Systems.
Cryptology.
Information Systems Applications (incl. Internet)
Programming Languages, Compilers, Interpreters.
Semantic computing.
Computer security
Computer networks
Computer Science.
Computer Systems Organization and Communication Networks.
Systems and Data Security.