Eunsuk Kang. Multi-representational security modeling and analysis. PhD thesis, Massachusetts Institute of Technology, Cambridge, MA, USA, 2016. [doi]
@phdthesis{ndltd-1094,
title = {Multi-representational security modeling and analysis},
author = {Eunsuk Kang},
year = {2016},
url = {http://hdl.handle.net/1721.1/103738},
note = {ndltd.org (oai:dspace.mit.edu:1721.1/103738)},
researchr = {https://researchr.org/publication/ndltd-1094},
cites = {0},
citedby = {0},
school = {Massachusetts Institute of Technology, Cambridge, MA, USA},
}