語系
Guttman, Joshua D.
概要
| 作品: | 3 作品在 1 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Principles of security and trust = first international conference, POST 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings /
by:
Degano, Pierpaolo.; Guttman, Joshua D.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service)
(書目-語言資料,印刷品)
Foundations of Security, Protocols, and Equational Reasoning = Essays Dedicated to Catherine A. Meadows /
by:
Guttman, Joshua D.; Pavlovic, Dusko.; SpringerLink (Online service); Meseguer, José.; Landwehr, Carl E.
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/edt]
主題
Software Engineering.
Computer organization.
Systems and Data Security.
Algorithm Analysis and Problem Complexity.
Computer logic.
Data Encryption.
Data protection.
Computer Communication Networks.
Software engineering.
Computer networks
Data encryption (Computer science)
Computer Science.
Computers and civilization.
Programming languages (Electronic computers).
Computer Systems Organization and Communication Networks.
Programming Languages, Compilers, Interpreters.
Logics and Meanings of Programs.
Management of Computing and Information Systems.
Computer security
Security.
Computers and Society.