Security types for dynamic web data

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

Volumn 4661 LNCS, Issue , 2007, Pages 263-280

  Dezani Ciancaglini, Mariangiola ^a   Ghilezan, Silvia ^b   Pantović, Jovanka ^b  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF NOVI SAD   (Serbia)

Author keywords

[No Author keywords available]

Indexed keywords

DATA TRANSFER; DIFFERENTIATION (CALCULUS); INFORMATION SERVICES; WEB SERVICES;

PROCESS MIGRATION; SECURITY LEVELS;

SECURITY OF DATA;

EID: 38149065170     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75336-0_17     Document Type: Conference Paper

References (19)

1. Abiteboul, S., Benjelloun, O., Cautis, B., Milo, T.: Active XML, Security and Access Control. In: Lifschitz, S. (ed) SBBD'04, pp. 13-22 (2004)
2. Abiteboul, S., Buneman, P., Suciu, D.: Data on the Web: From Relations to Semistructured Data and XML. In: Data Management Systems, Morgan Kaufmann, Seattle (1999)
3. Ahern, A., Yoshida, N.: Formalising Java RMI with Explicit Code Mobility. In: Gabriel, R.P., Johnson, R. (eds.) OOPSLA'05, pp. 403-422. ACM Press, New York (2005)
4. Cardelli, L., Ghelli, G.: A Query Language Based on the Ambient Logic. In: Sands, D. (ed.) ESOP 2001 and ETAPS 2001. LNCS, vol. 2028, pp. 1-22. Springer, Heidelberg (2004) (Invited Paper)
5. Cardelli, L., Ghelli, G., Gordon, A.D.: Types for the Ambient Calculus. Information and Computation 177(2), 160-194 (2002)
6. Castagna, G., Vitek, J., Nardelli, F.Z.: The Seal Calculus. Information and Computation 201(1), 1-54 (2005)
7. Coppo, M., Cozzi, F., Dezani-Ciancaglini, M., Giovannetti, E., Pugliese, R.: A Mobility Calculus with Local and Dependent Types. In: Middeldorp, A., van Oostrom, V., van Raamsdonk, F., de Vrijer, R. (eds.) Processes, Terms and Cycles: Steps on the Road to Infinity. LNCS, vol. 3838, pp. 404-444. Springer, Heidelberg (2005)
8. Gardner, P., Maffeis, S.: Modelling Dynamic Web Data. Theoretical Computer Science 342, 104-131 (2005)
9. Hennessy, M., Riely, J.: Resource Access Control in Systems of Mobile Agents. Information and Computation 173, 82-120 (2002)
10. Hennessy, M., Riely, J.: Information Flow vs Resource Access in the Asynchronous π-calculus. ACM Transactions on Programming Languages and Systems 5, 566-591 (2003)
11. Kiniry, J., Morkan, A., Fairmichael, F., Cochran, D., Chalin, P., Oostdijk, M., Hubbers, E.: The KOA Remote Voting System: A Summary of Work To-Date. In These Proceedings (2007)
12. Maffeis, S., Gardner, P.: Behavioural Equivalencies for Dynamic Web Data. In: Lévy, J.-J., Mayr, E.W., Mitchell, J.C. (eds.) TCS'04, pp. 541-554. Kluwer, Dordrecht (2004)
13. Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes, I-II. Information and Computation 100(1), 1-77 (1992)
14. De Nicola, R., Ferrari, G., Pugliese, R., Venneri, B.: Types for Access Control. Theoretical Computer Science 240(1), 215-254 (2000)
15. Sabelfeld, A., Myers, A.C.: Language-Based Information-Flow Security. IEEE Journal on Selected Areas in Communications 21(1), 5-19 (2003)
16. Sahuguet, A.: ubQL: A Distributed Query Language to Program Distributed Query Systems. PhD thesis, Penn University (2002)
17. Sandhu, R.S.: Lattice-based Access Control Models. IEEE Computer 26(11), 9-19 (1993)
18. Sangiorgi, D., Walker, D.: The π-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)
19. Zdancewic, S.: Challenges for Information-flow Security. In: Giacobazzi, R. (ed.) PLID'04 (2004) (Invited Paper)