304 search results - page 11 / 61 » Static enforcement of security with types |
CCS
2004
ACM
14 years 24 days ago
2004
ACM
A long-standing problem in information security is how to specify and enforce expressive security policies that control information flow while also permitting information release...
ACSAC
2007
IEEE
14 years 1 months ago
2007
IEEE
We have implemented an information flow framework for the Java Virtual Machine that combines static and dynamic techniques to capture not only explicit flows, but also implicit ...
OOPSLA
1989
Springer
13 years 11 months ago
1989
Springer
Method inheritance and data abstraction are central features of objectoriented programming that are attained through a hierarchical organization of classes. Recent studies have sh...
CISIS
2009
IEEE
14 years 2 months ago
2009
IEEE
—Deployment of open source software for embedded system is increasing while ubiquitous devices have become widely used. System designer need to cope with malicious input which is...
ESSOS
2010
Springer
14 years 4 months ago
2010
Springer
Static security analysis of software has made great progress over the last years. In particular, this applies to the detection of lowlevel security bugs such as buffer overflows,...