Moritz Y. Becker, Cedric Fournet, and Andrew D. Gordon 2010
In Journal of Computer Security (JCS)
Publisher IOS PressCopyright © IOS Press