A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device Application

Communications in Computer and Information Science

Volumn 17, Issue , 2009, Pages 221-236

  Greci, Paolo ^a   Martinelli, Fabio ^a   Matteucci, Ilaria ^a,b  

^a CNR   (Italy)

^b CREATE NET   (Italy)

Author keywords

Contract policy matching; Mobile application; Simulation relation; Symbolic transition systems

Indexed keywords

CONTRACT-POLICY MATCHING; MOBILE APPLICATIONS; MOBILE DEVICE APPLICATIONS; PROGRAMMING MODELS; SIMULATION RELATION; SOFTWARE SERVICES; SYMBOLIC SIMULATION; SYMBOLIC TRANSITION SYSTEMS;

COMPUTER APPLICATIONS; SECURITY SYSTEMS;

MOBILE DEVICES;

EID: 70349460414     PISSN: 18650929     EISSN: None     Source Type: Book Series    
DOI: None     Document Type: Article

References (16)

1. Dragoni, N., Martinelli, F., Massacci, F., Mori, P., Schaefer, C., Walter, T., Vetillard, E.: Security-by-contract (SxC) for software and services of mobile systems. In: At your service: Service Engineering in the Information Society Technologies Program. MIT Press, Cambridge (2008)
2. Dragoni, N., Massacci, F., Naliuka, K., Siahaan, I.: Security-by-contract: Toward a semantics for digital signatures on mobile code. In: López, J., Samarati, P., Ferrer, J.L. (eds.) EuroPKI 2007. LNCS, vol. 4582, pp. 297-312. Springer, Heidelberg (2007)
3. Schneider, F.B.: Enforceable security policies. ACM Transactions on Information and System Security 3(1), 30-50 (2000)
4. Martinelli, F., Matteucci, I.: An approach for the specification, verification and synthesis of secure systems. Electr. Notes Theor. Comput. Sci. 168, 29-43 (2007)
5. Aktug, I., Naliuka, K.: Conspec-A formal language for policy specification. Electr. Notes Theor. Comput. Sci. 197(1), 45-58 (2008)
6. Erlingsson, Ú., Schneider, F.B.: Sasi enforcement of security policies: a retrospective. In: NSPW 1999: Proceedings of the 1999 workshop on New security paradigms, pp. 87-95. ACM, New York (2000)
7. Milner, R.: Communicating and mobile systems: the π-calculus. Cambridge University Press, Cambridge (1999)
8. Martinelli, F., Matteucci, I.: Through modeling to synthesis of security automata. Electr. Notes Theor. Comput. Sci. 179, 31-46 (2007)
9. Hennessy, M., Lin, H.: Symbolic bisimulations. In: MFPS 1992: Selected papers of the meeting on Mathematical foundations of programming semantics, Amsterdam, The Netherlands, pp. 353-389. Elsevier Science Publishers, Amsterdam (1995)
10. Hennessy, M., Lin, H.: A Symbolic Approach to Value-Passing Processes. In: Handbook of Process Algebra. Elsevier, Amsterdam (2001)
11. Dragoni, N., Massacci, F., Naliuka, K., Siahaan, I., Quillinan, T., Matteucci, I., Schaefer, C.: Deliverable 2.1.4-Methodologies and tools for contract matching-S3MS European Project (2007)
12. Aktung, I.: Syntax and semantics of conspec (last visited 09/07/2008) (2007), https://trinity.dit.unitn.it/bscw/bscw.cgi/d33953/ConSpec
13. Desmet, L., Joosen, W., Massacci, F., Philippaerts, P., Piessens, F., Siahaan, I., Vanoverberghe, D.: Security-by-contract on the. net platform, vol. 13, pp. 25-32. Elsevier Advanced Technology Publications, Oxford (2008)
14. Matteucci, I.: Automated synthesis of enforcing mechanisms for security properties in a timed setting. Electr. Notes Theor. Comput. Sci. 186, 101-120 (2007)
15. Martinelli, F., Matteucci, I.: Partialmodel checking, process algebra operators and satisfiability procedures for (automatically) enforcing security properties. Technical report, IIT-CNR (2005) Presented at the International Workshop on Foundations of Computer Security (FCS 2005)
16. Ingolfsdottir, A., Lin, H.: Handbook of Processes Algebra. In: A Symbolic Approach to Value-passing Processes, ch. 7. Elsevier, Amsterdam (2001)