Languages
Guttman, Joshua D.
Overview
| Works: | 3 works in 3 publications in 1 languages | |
|---|---|---|
Titles
Protocols, strands, and logicessays dedicated to Joshua Guttman on the the occasion of his 66.66th birthday /
by:
Guttman, Joshua D.; SpringerLink (Online service)
(Electronic resources)
Principles of security and trustfirst 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:
(1998 :); Degano, Pierpaolo.; Guttman, Joshua D.; SpringerLink (Online service)
(Electronic resources)
Foundations of security, protocols, and equational reasoningessays dedicated to Catherine A. Meadows /
by:
(1998 :); Guttman, Joshua D.; SpringerLink (Online service)
(Electronic resources)
Formal aspects in security and trust6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009 revised selected papers /
by:
(1998 :); Degano, Pierpaolo.; Guttman, Joshua D.; SpringerLink (Online service)
(Electronic resources)
Subjects
Computer network protocols
Software Engineering.
Data protection
Logics and Meanings of Programs.
Cryptology.
Management of Computing and Information Systems.
Algorithm Analysis and Problem Complexity.
Cryptography
Formal methods (Computer science)
Information Storage and Retrieval.
Data encryption (Computer science)
Programming Languages, Compilers, Interpreters.
Computer security
Data Encryption.
Logic design
Security.
Public key infrastructure (Computer security)
Computer Science.
Computer Communication Networks.
Systems and Data Security.
Computers and Society.
Computer networks
Computer Systems Organization and Communication Networks.