7124 search results - page 83 / 1425 » Programming Languages and Operating Systems |
OSDI
2000
ACM
14 years 11 months ago
2000
ACM
USENIX
1990
14 years 11 months ago
1990
SOSP
1993
ACM
14 years 11 months ago
1993
ACM
JUCS
2007
14 years 9 months ago
2007
Abstract: A model (consisting of rv-systems), a core programming language (for developing rv-programs), several specification and analysis techniques appropriate for modeling, pro...
USS
2008
15 years 1 days ago
2008
In this paper, we present an approach for verifying that trusted programs correctly enforce system security goals when deployed. A trusted program is trusted to only perform safe ...