Matching policies with security claims of mobile applications

ARES 2008 - 3rd International Conference on Availability, Security, and Reliability, Proceedings

Volumn , Issue , 2008, Pages 128-135

  Bielova, Nataliia ^a   Torre, Marco Dalla ^a   Dragoni, Nicola ^a   Siahaan, Ida ^a  

^a UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DIGITAL SIGNATURES; INTERNATIONAL CONFERENCES; MATCHING PROBLEMS; MOBILE APPLICATIONS; MOBILE CODES; MOBILE PLATFORMS; SECURITY MODELING; TRUST RELATIONSHIPS;

ACCESS CONTROL; AUTHENTICATION; CODES (STANDARDS); CONTRACTS; DIGITAL ARITHMETIC; ELECTRONIC DOCUMENT IDENTIFICATION SYSTEMS; INFORMATION THEORY; MOBILE DEVICES; SOFTWARE PROTOTYPING; TELECOMMUNICATION EQUIPMENT;

CODES (SYMBOLS);

EID: 49049117172     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ARES.2008.96     Document Type: Conference Paper

References (7)

1. I. Aktug and K. Naliuka. Conspec - a formal language for policy specification. In Proc. of the 1st Workshop on Run Time Enforcement for Mobile and Distributed Systems (REM2007), 2007.
2. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, 2000.
3. N. Dragoni, F. Massacci, K. Naliuka, and I. Siahaan. Security-by- contract: Toward a semantics for digital signatures on mobile code. In Proc. of the 4th European PKI Worshop, pages 297-312. Springer-Verlag, 2007.
4. N. Dragoni, F. Massacci, K. Naliuka, I. Siahaan, T. Quillinan, I. Matteucci, and C. Schaefer. Methodologies and tools for contract matching. Public Deliverable D2.1.4, EU Project S3MS, Report available at www.s3ms.org, 2007.
5. F. Massacci and I. Siahaan. Matching midlet's security claims with a platform security policy using automata modulo theory. NordSec, 2007.
6. S. Schwoon and J. Esparza. A note on onthe-fly verification algorithms. Technical Report 2004/06, Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, November 2004.
7. R. Sekar, V.N. Venkatakrishnan, S. Basu, S. Bhatkar, and D.C. DuVarney. Model-carrying code: a practical approach for safe execution of untrusted applications. In Proceedings of the 19th ACM symposium on Operating systems principles (SOSP-03), pages 15-28. ACM Press, 2003.