Joshua Guttman
发表
Talib S. Hussain,
Clint A. Bowers,
Qinsi Wang,
2014,
SECURWARE 2014.
Boon Thau Loo,
Tajana Ban Kirigin,
Mitsuhiro Okada,
2020,
Logic, Language, and Security.
Patrick Schaumont,
Andrew C. Myers,
Benjamin C. Pierce,
2016,
ArXiv.