A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
Model-carrying code and security-by-contract have proposed to augment mobile code with a claim on its security behavior that could be matched against a mobile platform policy before downloading the code. In order to capture realistic scenarios with potentially infinite transitions (e.g. "only connections to urls starting with https") we have proposed to represent those policies with the notion of Automata Modulo Theory (ew ), an extension of Büchi Automata (BA), with edges labeled bydoi:10.1145/1375696.1375698 dblp:conf/pldi/MassacciS08 fatcat:ojbv2mjgnjhwrgv6kqzqjyvuha