134
Voted
CSFW
2004
IEEE
15 years 7 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...
132
Voted
CSFW
2004
IEEE
15 years 7 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...
83
Voted
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
We recall the contribution of Goguen and Burstall's 1980 CAT paper and its powerful influence on theories of specification implementation that were emerging at about the same ...
121
Voted
CSFW
2004
IEEE
15 years 7 months ago
2004
IEEE
The A-GDH.2 and SA-GDH.2 authenticated group key
153
Voted
CSFW
2004
IEEE
15 years 7 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...