CSFW
14 years 1 months ago
2004 IEEE 
Workflow management systems (WFMSs) have attracted a lot of interest both in academia and the business community. A workflow consists of a collection of tasks that are organized t...
CSFW
14 years 1 months ago
2004 IEEE  CSFW
14 years 1 months ago
2004 IEEE 
Noninterference requires that there is no information flow from sensitive to public data in a given system. However, many systems perform intentional release of sensitive informat...
CSFW
14 years 1 months ago
2004 IEEE 
We present a system, BLF, that combines an authorization logic based on the Binder language with a logical framework, LF, able to express semantic properties of programs. BLF is a...
CSFW
14 years 1 months ago
2004 IEEE 
This paper describes how symbolic techniques (in particular, OBDD's) may be used to to implement an algorithm for model checking specifications in the logic of knowledge for ...
|
Security Privacy