LoPSiL: A location-based policy-specification language

Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering

Volumn 17 LNICST, Issue , 2009, Pages 265-277

  Ligatti, Jay ^a   Rickey, Billy ^a   Saigal, Nalin ^a  

^a UNIVERSITY OF SOUTH FLORIDA   (United States)

Author keywords

Location dependent policies; Mobile devices; Policy specification languages; Security and privacy

Indexed keywords

APPLICATION PROGRAMS; DOMAIN-SPECIFIC PROGRAMMING LANGUAGES; LOCATION BASED; LOCATION DEPENDENTS; NEW APPLICATIONS; POLICY-SPECIFICATION LANGUAGES; PROOF OF CONCEPT; RUNTIMES; SECURITY AND PRIVACY; SECURITY POLICY;

COMMUNICATION SYSTEMS; MOBILE DEVICES; PROGRAM COMPILERS; SEMICONDUCTING FILMS; SPECIFICATIONS;

SPECIFICATION LANGUAGES;

EID: 84857224391     PISSN: 18678211     EISSN: None     Source Type: Book Series    
DOI: 10.1007/978-3-642-04434-2_23     Document Type: Conference Paper

References (22)

1. Anisetti, M., Ardagna, C., Bellandi, V., Damiani, E.: Openambient: A Pervasive Access Control Architecture. In: Schmidt, A., Kreutzer, M., Accorsi, R. (eds.) Long-Term and Dynamical Aspects of Information Security: Emerging Trends in Information and Communication Security. Nova Science Publisher, Bombay (2007)
2. Ardagna, C., Cremonini, M., Damiani, E., di Vimercati, S., Samarati, P.: Supporting Location-based Conditions in Access Control Policies. In: Symposium on Information, Computer and Communications Security (2006)
3. The AspectJ Project, http://www.eclipse.org/aspectj/
4. Bauer, L., Ligatti, J., Walker, D.: Composing Expressive Run-time Security Policies. ACM Transactions on Software Engineering and Methodology (to appear)
5. Bauer, L., Ligatti, J., Walker, D.: Composing Security Policies with Polymer. In: ACM Conference on Programming Language Design and Implementation (2005)
6. Bauer, L., Ligatti, J., Walker, D.: Types and Effects for Non-interfering Program Monitors. In: Okada, M., Pierce, B., Scedrov, A., Tokuda, H., Yonezawa, A. (eds.) Software Security - Theories and Systems. Springer, Heidelberg (2003)
7. Bhatti, R., Damiani, M., Bettis, D., Bertino, E.: Policy Mapper: Administering Location-based Access-control Policies. IEEE Internet Computing 12(2), 38-45 (2008) (Pubitemid 351479407)
8. Byte Code Engineering Library, http://jakarta.apache.org/bcel/
9. Damianou, N., Dulay, N., Lupu, E., Sloman, M.: The Ponder Policy Specification Language. In: Sloman, M., Lobo, J., Lupu, E.C. (eds.) POLICY 2001. LNCS, vol. 1995, pp. 18-39. Springer, Heidelberg (2001)
10. Edjlali, G., Acharya, A., Chaudhary, V.: History-based Access Control for Mobile Code. In: ACM Conference on Computer and Communications Security (1998)
11. Erlingsson, Ú., Schneider, F.: IRM Enforcement of Java Stack Inspection. In: IEEE Symposium on Security and Privacy (2000)
12. Evans, D., Twyman, A.: Flexible Policy-directed Code Safety. In: IEEE Symposium on Security and Privacy (1999)
13. eXtensible Access Control Markup Language (XACML) version 2.0, http://docs.oasis-open.org/xacml/2.0/access-control-xacml-2.0-core-spec-os.pdf
14. GPSLib4J v0.1, http://gpslib4j.sourceforge.net/
15. The Java ME Platform - the Most Ubiquitous Application Platform for Mobile Devices, http://java.sun.com/javame/index.jsp
16. Jeffery, C., Zhou, W., Templer, K., Brazell, M.: A Lightweight Architecture for Program Execution Monitoring. In: Program Analysis for Software Tools and Engineering (PASTE), pp. 67-74. ACM Press, New York (1998) (Pubitemid 128457893)
17. Kiczales, G., Hilsdale, E., Hugunin, J., Kersten, M., Palm, J., Griswold, W.: An Overview of AspectJ. In: Knudsen, J.L. (ed.) ECOOP 2001. LNCS, vol. 2072, p. 327. Springer, Heidelberg (2001)
18. Ligatti, J., Bauer, L., Walker, D.: Enforcing Non-safety Security Policies with Program Monitors. In: di Vimercati, S.d.C., Syverson, P.F., Gollmann, D. (eds.) ES-ORICS 2005. LNCS, vol. 3679, pp. 355-373. Springer, Heidelberg (2005)
19. Ligatti, J., Bauer, L., Walker, D.: Run-time Enforcement of Nonsafety Policies. ACM Transactions on Information and System Security 12(3), 1-41 (2009)
20. LoPSiL Implementation, http://www.cse.usf.edu/~ligatti/projects/runtime/ LoPSiL.zip
21. Robinson, W.: Monitoring Software Requirements Using Instrumented Code. In: Proceedings of the 35th Annual Hawaii International Conference on System Sciences, p. 2762 (2002)
22. Schmidt, A., Kuntze, N., Abendroth, J.: Trust for Location-based Authorisation. In: Wireless Communications and Networking Conference, pp. 3163-3168 (2008)