語系
Guttman, Joshua D.
概要
作品: | 4 作品在 3 項出版品 1 種語言 |
---|
書目資訊
Protocols, strands, and logic = essays dedicated to Joshua Guttman on the the occasion of his 66.66th birthday /
by:
Guttman, Joshua D.; SpringerLink (Online service)
(書目-電子資源)
Formal aspects in security and trust = 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009 revised selected papers /
by:
Degano, Pierpaolo.; Guttman, Joshua D.; SpringerLink (Online service); FAST 2009 ((2009 :)
(書目-語言資料,印刷品)
Foundations of security, protocols, and equational reasoning = essays dedicated to Catherine A. Meadows /
by:
Catherine Meadows Festschrift Symposium ((2019 :); Guttman, Joshua D.; SpringerLink (Online service)
(書目-電子資源)
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.; SpringerLink (Online service)
(書目-電子資源)
VLISP : = a verified implementation of scheme /
by:
Guttman, Joshua D.; Wand, Mitchell.
(書目-語言資料,印刷品)
主題
LISP (Computer program language)
Computer network protocols
Software Engineering.
Data protection
Logics and Meanings of Programs.
Computer networks- Security measures.
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 networks- Security measures
Computer security
Data Encryption.
Logic design
Security.
Public key infrastructure (Computer security)
Computer Science.
Computer Communication Networks.
Computers and Society.
Systems and Data Security.
Computer Systems Organization and Communication Networks.