1150 search results - page 89 / 230 » Specifying Information-Flow Controls |
POLICY
2007
Springer
14 years 2 months ago
2007
Springer
XACML is being increasingly adopted in large enterprise systems for specifying access control policies. However, the efficient analysis and integration of multiple policies in suc...
HICSS
2006
IEEE
14 years 2 months ago
2006
IEEE
A new model for representing temporal access control policies is introduced. In this model, temporal authorizations are represented by time attributes associated with subjects and...
CC
2001
Springer
14 years 26 days ago
2001
Springer
Abstract. We present a method of specifying standard imperative program optimisations as a rewrite system. To achieve this we have extended the idea of matching sub-terms in expres...
HYBRID
1998
Springer
14 years 17 days ago
1998
Springer
We continue investigation of languages, accepted by timed automata of Alur and Dill. In [ACM97] timed regular expressions equivalent to timed automata were introduced. Here we intr...
CAV
2006
Springer
14 years 2 days ago
2006
Springer
We present a tool, called CAsCaDE, to check assertions in C programs as part of a multi-stage verification strategy. CAsCaDE takes as input a C program and a control file (the outp...