Cliseau: Securing distributed java programs by cooperative dynamic enforcement

Publikationstyp
Conference Paper
Date Issued
2014-12
Sprache
English
Author(s)
Gay, Richard  
Hu, Jinwei  
Mantel, Heiko 
TORE-URI
http://hdl.handle.net/11420/13853
First published in
Lecture notes in computer science  
Number in series
8880 LNSC
Start Page
378
End Page
398
Citation
Lecture Notes in Computer Science 8880 LNSC: 378-398 (2014)
Contribution to Conference
10th International Conference on Information Systems Security, ICISS 2014  
Publisher DOI
10.1007/978-3-319-13841-1_21
Scopus ID
2-s2.0-84918584465
Publisher
Springer
CliSeAu is a novel tool for hardening distributed Java programs. CliSeAu takes as input a specification of the desired properties and a Java bytecode target program, i.e. the format in which Java programs are usually provided. CliSeAu returns hardened Java bytecode that provides the same functionality as the original code, unless this code endangers the desired properties. By monitoring the components of a distributed system in a decentralized and coordinated fashion, our tool CliSeAu is able to enforce a wide range of properties, both effectively and efficiently. In this article, we present the architecture of CliSeAu, explain how the components of a distributed target program are instrumented by CliSeAu, and illustrate at an example application how CliSeAu can be used for securing distributed programs.
DDC Class
004: Informatik