Search

Your search keyword '"Zanella-Béguelin, Santiago"' showing total 58 results
Start Over Author "Zanella-Béguelin, Santiago"
58 results on '"Zanella-Béguelin, Santiago"'

54. A Formal Specification of the MIDP 2.0 Security Model.

Author

Hutchison, David, Kanade, Takeo, Kittler, Josef, Kleinberg, Jon M., Mattern, Friedemann, Mitchell, John C., Naor, Moni, Nierstrasz, Oscar, Pandu Rangan, C., Steffen, Bernhard, Sudan, Madhu, Terzopoulos, Demetri, Tygar, Doug, Vardi, Moshe Y., Weikum, Gerhard, Dimitrakos, Theo, Martinelli, Fabio, Ryan, Peter Y. A., Schneider, Steve, and Zanella Béguelin, Santiago

Abstract

This paper presents, to the best of our knowledge, the first formal specification of the application security model defined by the Mobile Information Device Profile 2.0 for Java 2 Micro Edition. The specification, which has been formalized in Coq, provides an abstract representation of the state of a device and the security-related events that allows to reason about the security properties of the platform where the model is deployed. We state and sketch the proof of some desirable properties of the security model. Although the abstract specification is not executable, we describe a refinement methodology that leads to an executable prototype. [ABSTRACT FROM AUTHOR]

Published
2007
Full Text
View/download PDF

57. Imperfect forward secrecy

Author

Adrian, David, Bhargavan, Karthikeyan, Durumeric, Zakir, Gaudry, Pierrick, Green, Matthew, Halderman, J. Alex, Heninger, Nadia, Springall, Drew, Thomé, Emmanuel, Valenta, Luke, VanderSloot, Benjamin, Wustrow, Eric, Zanella-Béguelin, Santiago, and Zimmermann, Paul

Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results