Languages
Guttman, Joshua D.
Overview
| Works: | 3 works in 1 publications in 1 languages | |
|---|---|---|
Titles
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)
(Language materials, printed)
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.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/edt]
Subjects
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.