Multi-representational security modeling and analysis

Thesis: Ph. D., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2016.

书目详细资料
主要作者: Kang, Eunsuk
其他作者: Daniel Jackson.
格式: Thesis
语言:eng
出版: Massachusetts Institute of Technology 2016
主题:
在线阅读:http://hdl.handle.net/1721.1/103738