语系
Abadi, Martin.
概要
| 作品: | 1 作品在 2 项出版品 1 种语言 | |
|---|---|---|
书目信息
Principles of security and trust[electronic resource] :Third International Conference, POST 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014 : proceedings /
by:
Abadi, Martin.; Clark Conference ((2005 :); Kremer, Steve.; SpringerLink (Online service)
(书目-语言数据,印刷品)
Trustworthy global computing[electronic resource] :8th International Symposium, TGC 2013, Buenos Aires, Argentina, August 30-31, 2013 : revised selected papers /
by:
Abadi, Martin.; Clark Conference ((2005 :); Lluch Lafuente, Alberto.; SpringerLink (Online service)
(书目-语言数据,印刷品)
主题
Mathematical Logic and Formal Languages.
Computer software
Information Systems Applications (incl. Internet)
Management of Computing and Information Systems.
Algorithm Analysis and Problem Complexity.
Computer security
Data Encryption.
Computer networks
Computer Science.
Systems and Data Security.
Computer Systems Organization and Communication Networks.
Computer Communication Networks.
e-Commerce/e-business.