SENSORIA All Publications |
|
Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
show main publications
Simulating Midlet's Security Claims with Automata Modulo Theory @INPROCEEDINGS{1375698, title = {{Simulating Midlet's Security Claims with Automata Modulo Theory}}, author = {{Fabio} {Massacci} and {Ida Sri Rejeki} {Siahaan}}, booktitle = {Proceedings of the 2008 Workshop on Programming Languages and Analysis for Security (PLAS 2008). June 8th, 2008. Tucson (USA)}, editor = {Ulfar Erlingsson and Marco Pistoia}, pages = {1--9}, abstract = {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 (AMT ), an extension of B¨uchi Automata (BA), with edges labeled by expressions in a decidable theory. Our objective is the run-time matching of the mobile’s platform policy against the midlet’s security claims expressed as AMT . To this extent the use of on-the-fly product and emptiness test from automata theory may not be effective. In this paper we present an algorithm extending fair simulation between B¨uchi automata that can be more efficiently implemented.}, publisher = {ACM}, year = {2008}, url = {http://rap.dsi.unifi.it/sensoriasite/massaccisimmidlet.pdf}, address = {New York}, doi = {http://doi.acm.org/10.1145/1375696.1375698}, isbn = {978-1-59593-936-4}, }
|