Sciweavers

443 search results - page 30 / 89
» Compensation-Aware Runtime Monitoring
Sort
View
CCS
2008
ACM
15 years 2 months ago
CMV: automatic verification of complete mediation for java virtual machines
Runtime monitoring systems play an important role in system security, and verification efforts that ensure that these systems satisfy certain desirable security properties are gro...
A. Prasad Sistla, V. N. Venkatakrishnan, Michelle ...
TVLSI
2010
14 years 7 months ago
Architectural Enhancement and System Software Support for Program Code Integrity Monitoring in Application-Specific Instruction-
Program code in a computer system can be altered either by malicious security attacks or by various faults in microprocessors. At the instruction level, all code modifications are ...
Hai Lin, Yunsi Fei, Xuan Guan, Zhijie Jerry Shi
118
Voted
CORR
2010
Springer
174views Education» more  CORR 2010»
14 years 10 months ago
A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode
We propose a lightweight approach for certification of Java bytecode monitor inlining using proof-carrying code. The main purpose of such a framework is to enable development use ...
Mads Dam, Andreas Lundblad
86
Voted
DAIS
2003
15 years 2 months ago
Middleware Support for Resource-Constrained Software Deployment
Abstract The JAMUS platform is dedicated to providing a safe runtime environment for untrusted Java application programs, while offering each of these programs access to the resour...
Nicolas Le Sommer, Frédéric Guidec
IEEESCC
2008
IEEE
15 years 7 months ago
Monitoring Dependencies for SLAs: The MoDe4SLA Approach
In service oriented computing different techniques for monitoring Service Level Agreements (SLAs) are available. Many of these monitoring approaches focus on bilateral agreements ...
Lianne Bodenstaff, Andreas Wombacher, Manfred Reic...