Types for coordinating secure behavioural variations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 7274 LNCS, Issue , 2012, Pages 261-276

  Degano, Pierpaolo ^a   Ferrari, Gian Luigi ^a   Galletta, Letterio ^a   Mezzetti, Gianluca ^a  

^a UNIVERSITY OF PISA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

CONTEXT-ORIENTED PROGRAMMING; CONTROL ACCESS; DYNAMIC SEMANTIC; EXTERNAL ENVIRONMENTS; FUNCTIONAL LANGUAGES; OPERATIONAL ENVIRONMENTS; RESOURCE USAGE; SECURITY POLICY; SOFTWARE COMPONENT;

SECURITY SYSTEMS; SEMANTICS;

STATIC ANALYSIS;

EID: 84862736742     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-30829-1_18     Document Type: Conference Paper

References (21)

1. Cheng, B.H.C., et al.: Software Engineering for Self-Adaptive Systems: A Research Roadmap. In: Cheng, B.H.C., de Lemos, R., Giese, H., Inverardi, P., Magee, J. (eds.) Software Engineering for Self-Adaptive Systems. LNCS, vol. 5525, pp. 1-26. Springer, Heidelberg (2009)
2. Bruni, R., Corradini, A., Gadducci, F., Lluch Lafuente, A., Vandin, A.: A Conceptual Frame-work for Adaptation. In: de Lara, J., Zisman, A. (eds.) FASE 2010. LNCS, vol. 7212, pp. 240-254. Springer, Heidelberg (2012)
3. Salehie, M., Tahvildari, L.: Self-adaptive software: Landscape and research challenges. TAAS 4(2) (2009)
4. Hirschfeld, R., Costanza, P., Nierstrasz, O.: Context-oriented programming. Journal of Object Technology 7(3), 125-151 (2008)
5. Salvaneschi, G., Ghezzi, C., Pradella, M.: Context-oriented programming: A programming paradigm for autonomic systems. CoRR abs/1105.0069 (2011)
6. Degano, P., Ferrari, G.L., Galletta, L., Mezzetti, G.: Typing context-dependent behavioural variations. In: PLACES 2012. EPTCS (to appear, 2012)
7. Bartoletti, M., Degano, P., Ferrari, G.L., Zunino, R.: Local policies for resource usage analysis. ACM Trans. Program. Lang. Syst. 31(6) (2009)
8. Bartoletti,M., Degano, P., Ferrari, G.L.: Planning and verifying service composition. Journal of Computer Security 17(5), 799-837 (2009)
9. Sangiorgi, D., Walker, D.: The Pi-Calculus - a theory of mobile processes. Cambridge University Press (2001)
10. Skalka, C., Smith, S., Horn, D.V.: Types and trace effects of higher order programs. Journal of Functional Programming 18(2), 179-249 (2008)
11. Hamlen, K.W., Morrisett, J.G., Schneider, F.B.: Computability classes for enforcement mechanisms. ACM Trans. on Programming Languages and Systems 28(1), 175-205 (2006)
12. Vardi, M.Y., Wolper, P.: An automata-theoretic approach to automatic program verification (preliminary report). In: LICS, pp. 332-344. IEEE Computer Society (1986)
13. Hopcroft, J., Motwani, R., Ullman, J.: Introduction to automata theory, languages, and computation, vol. 2. Addison-wesley, Reading (1979)
14. Clarke, D., Sergey, I.: A semantics for context-oriented programming with layers. In: International Workshop on Context-Oriented Programming, COP 2009, pp. 10:1-10:6. ACM, New York (2009)
15. Hirschfeld, R., Igarashi, A., Masuhara, H.: Context FJ: a minimal core calculus for context-oriented programming. In: Proceedings of the 10th International Workshop on Foundations of Aspect-Oriented Languages, pp. 19-23. ACM (2011)
16. Costanza, P.: Language constructs for context-oriented programming. In: Proceedings of the Dynamic Languages Symposium, pp. 1-10. ACM Press (2005)
17. Igarashi, A., Kobayashi, N.: Resource usage analysis. In: POPL, pp. 331-342 (2002)
18. Proença, J., Clarke, D., de Vink, E.P., Arbab, F.: Decoupled execution of synchronous coordination models via behavioural automata. In: Mousavi, M.R., Ravara, A. (eds.) FOCLASA. EPTCS, vol. 58, pp. 65-79 (2011)
19. Bonsangue, M., Clarke, D., Silva, A.: Automata for Context-Dependent Connectors. In: Field, J., Vasconcelos, V.T. (eds.) COORDINATION 2009. LNCS, vol. 5521, pp. 184-203. Springer, Heidelberg (2009)
20. Nielson,H.R.,Nielson,F.:Higher-order concurrent programs with finite communication to pology (extended abstract). In: Proceedings of the 21st ACMSIGPLAN-SIGACT Symposiumon Principles of Programming Languages, POPL 1994, pp. 84-97. ACM, New York (1994)
21. Honda, K., Vasconcelos, V.T., Kubo, M.: Language Primitives and Type Discipline for Structured Communication-Based Programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 122-138. Springer, Heidelberg (1998) (Pubitemid 128054298)