A security-by-contract architecture for pervasive services

Proceedings - 3rd International Workshop on Security, Privacy and Trust in Pervasive and Ubiquitous Computing, SecPerU 2007

Volumn , Issue , 2007, Pages 49-54

  Dragoni, N ^a   Massacci, F ^a   Schaefer, C ^b   Walter, T ^b   Vetillard, E ^c  

^a UNIVERSITY OF TRENTO   (Italy)

^b DOCOMO EURO LABS   (Germany)

^c Trusted Logic ^*

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL POWERS; CONTRACT ARCHITECTURES; LAYERED SECURITIES; MITIGATION STRATEGIES; NOMADIC DEVICES; PERVASIVE ENVIRONMENTS; PERVASIVE SERVICES; SECURITY FEATURES; SECURITY SERVICES;

CONTRACTS; FLOW INTERACTIONS; TECHNICAL PRESENTATIONS;

UBIQUITOUS COMPUTING;

EID: 47649093926     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SECPERU.2007.2     Document Type: Conference Paper

References (19)

1. 3MS consortium, February 2007.
2. 3MS consortium, February 2007.
3. J. Bacon. Toward Pervasive Computing. IEEE Perv., 1(2):84-86, 2002.
4. D. Chakraborty, K. Dasgupta, S. Mittal, A. Misra, A. Gupta, E. Newmark, and C. Oberle. Businessfinder: harnessing presence to enable live yellow pages for small, medium and micro mobile businesses. IEEE Comm., 45(1):144-151, Jan. 2007.
5. C. Diot and L. Gautier. A distributed architecture for multiplayer interactive applications on the internet. IEEE Network, 13(4):6-15, 1999.
6. 3MS consortium, February 2007.
7. U. Erlingsson. The Inlined Reference Monitor Approach to Security Policy Enforcement. Technical report 2003-1916, Department of Computer Science, Cornell University, 2003.
8. U. Erlingsson and F. B. Schneider. IRM Enforcement of Java Stack Inspection. In Proc. of IEEE SS&P'00, Washington, DC, USA, 2000.
9. L. Gong and G. Ellison. Inside Java(TM) 2 Platform Security: Architecture, API Design, and Implementation. Pearson Education, 2003.
10. A. Harter, A. Hopper, P. Steggles, A. Ward, and P. Webster. The Anatomy of a Context-Aware Application. WiNet, 8(2 - 3):187-197, 2002.
11. B. Knutsson, H. Lu, W. Xu, and B. Hopkins. Peer-to-peer support for massively multiplayer games. In Proc. of IEEE Infocom, 2004.
12. D. Kushner. Online gaming demands heavyweight data centers. IEEE Spectrum, 42(7):34-39, July 2005.
13. B. LaMacchia and S. Lange. .NET Framework security. Addison Wesley, 2002.
14. X. Leroy. Bytecode verification on java smart cards. Softw. Pract. Exper., 32(4):319-340, 2002.
15. J. Ligatti, L. Bauer, and D. Walker. Edit automata: Enforcement mechanisms for run-time security policies. IJIS, 4(1-2):2-16, Feb. 2005.
16. M. Merabti and A. E. Rhalibi. Peer-to-peer architecture and protocol for a massively multiplayer online game. In Proc. of GLOBECOM'04, pages 519-528, Dallas, TX, 2004, 29 Nov.-3 Dec. 2004. IEEE.
17. G. C. Necula and P. Lee. Safe, untrusted agents using proof-carrying code. In Mobile Agents and Security, pages 61-91. Springer-Verlag, London, UK, 1998.
18. N. Paul and D. Evans. .NET Security: Lessons Learned and Missed from Java. In Proc. of ACSAC'04, 2004.
19. N. Yee. The Psychology of MMORPGs: Emotional Investment, Motivations, Relationship Formation, and Problematic Usage. In R. Schroeder and A. Axelsson, editors, Avatars at Work and Play: Collaboration and Interaction in Shared Virtual Environments, London, 2005. Springer-Verlag.