276 search results - page 23 / 56 » Security in Context: Analysis and Refinement of Software Arc... |
ACSAC
2006
IEEE
15 years 7 months ago
2006
IEEE
We propose an architecture of four complimentary technologies increasingly relevant to a growing number of home users and organizations: cryptography, separation kernels, formal v...
OOPSLA
2007
Springer
15 years 7 months ago
2007
Springer
Calling context enhances program understanding and dynamic analyses by providing a rich representation of program location. Compared to imperative programs, objectoriented program...
110
click to vote
FM
2008
Springer
15 years 3 months ago
2008
Springer
Abstract. Information assurance applications built according to the MILS (Multiple Independent Levels of Security) architecture often contain information flow policies that are con...
120
click to vote
SIGPLAN
1998
15 years 1 months ago
1998
Java has an important role in building distributed object oriented web enabled applications. In the article an analysis of two distributed object models in context of Java languag...
108
click to vote
JAR
2006
15 years 1 months ago
2006
Using automated reasoning techniques, we tackle the niche activity of proving that a program is free from run-time exceptions. Such a property is particularly valuable in high inte...