3523 search results - page 223 / 705 » Feature interaction in policies |
180
click to vote
PLDI
2006
ACM
16 years 17 days ago
2006
ACM
Adding a sound information flow security policy to an existing program is a difficult task that requires major analysis of and changes to the program. In this paper we show how ...
233
click to vote
ESOP
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...
164
click to vote
OTM
2005
Springer
16 years 2 days ago
2005
Springer
Timeliness in conventional real-time systems is addressed by employing well-known scheduling techniques that guarantee the execution of a number of tasks within certain deadlines. ...
167
click to vote
CCS
2008
ACM
15 years 8 months ago
2008
ACM
The requirements for secure document workflows in enterprises become increasingly sophisticated, with employees performing different tasks under different roles using the same pro...
200
click to vote
AAAI
2006
15 years 8 months ago
2006
DTGolog, a decision-theoretic agent programming language based on the situation calculus, was proposed to ease some of the computational difficulties associated with Markov Decisi...