Hamed Okhravi. Trusted and high assurance systems. PhD thesis, University of Illinois Urbana-Champaign, USA, 2010. [doi]
@phdthesis{us-10339, title = {Trusted and high assurance systems}, author = {Hamed Okhravi}, year = {2010}, url = {https://hdl.handle.net/2142/16020}, researchr = {https://researchr.org/publication/us-10339}, cites = {0}, citedby = {0}, school = {University of Illinois Urbana-Champaign, USA}, }