The S3MS.NET Run Time Monitor. Tool Demonstration

Electronic Notes in Theoretical Computer Science

Volumn 253, Issue 5, 2009, Pages 153-159

  Desmet, Lieven ^a   Joosen, Wouter ^a   Massacci, Fabio ^a   Naliuka, Katsiaryna ^a   Philippaerts, Pieter ^a   Piessens, Frank ^a   Vanoverberghe, Dries ^a  

^a NONE

Author keywords

.NET; bytecode rewriting; MSIL; security

Indexed keywords

BYTECODE REWRITING; BYTECODES; MOBILE APPLICATIONS; MULTI-THREADED APPLICATION; POLICY DECISION POINTS; POLICY LANGUAGE; REAL-WORLD APPLICATION; RUNTIMES; SECURITY POLICY; SINGLE-THREADED; TOOL DEMONSTRATION; TOOL SUPPORT;

DECISION MAKING; HIERARCHICAL SYSTEMS; JAVA PROGRAMMING LANGUAGE;

NETWORK SECURITY;

EID: 71649111935     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.11.021     Document Type: Article

References (10)

1. Aktug I., and Naliuka K. Conspec - a formal language for policy specification. Electr. Notes Theor. Comput. Sci. 197 (2008) 45-58
2. Desmet, L., W. Joosen, F. Massacci, K. Naliuka, P. Philippaerts, F. Piessens and D. Vanoverberghe, A flexible security architecture to support third-party applications on mobile devices, in: CSAW, 2007, pp. 19-28
3. Desmet L., Joosen W., Massacci F., Philippaerts P., Piessens F., Siahaan I., and Vanoverberghe D. Security-by-contract on the .NET platform. Inf. Secur. Tech. Rep. 13 (2008) 25-32
4. Edjlali, G., A. Acharya and V. Chaudhary, History-based access control for mobile code, in: Proceedings of the 5th ACM conference on Computer and communications security, 1998, pp. 38-40
5. Massacci, F. and K. Naliuka, Multi-session security monitoring for mobile code, Technical Report DIT-06-067, UNITN (2006)
6. Schneider F.B. Enforceable security policies. ACM Trans. Inf. Syst. Secur. 3 (2000) 30-50
7. Úlfar Erlingsson, "The inlined reference monitor approach to security policy enforcement," Ph.D. thesis, Dep. of Computer Science, Cornell University (2004)
8. Vanoverberghe, D. and F. Piessens, A caller-side inline reference monitor for an object-oriented intermediate language, in: FMOODS, 2008, pp. 240-258
9. Vanoverberghe D., and Piessens F. Security enforcement aware software development. Information and Software Technology (2009)
10. Zobel, A., C. Simoni, D. Piazza, X. Nuez and D. Rodriguez, Business case and security requirements, Public Deliverable of EU Research Project D5.1.1, S3MS-Security of Software and Services for Mobile Systems, Report available at www.s3ms.org (2006)