447 search results - page 22 / 90 » Rule Languages for Security and Privacy in Cooperative Syste... |
103
click to vote
MASS
2010
14 years 8 months ago
2010
In this paper we describe SpartanRPC, a secure middleware technology for wireless sensor network (WSN) applications supporting cooperation between distinct protection domains. The ...
CSFW
2005
IEEE
15 years 3 months ago
2005
IEEE
This paper advocates a novel approach to the construction of secure software: controlling information flow and maintaining integrity via monadic encapsulation of effects. This ap...
ACSAC
2001
IEEE
15 years 1 months ago
2001
IEEE
Shared Care is the common answer to the challenge for improving health system's quality and efficiency. This development must be accompanied by implementing shared care infor...
IEEEARES
2006
IEEE
15 years 4 months ago
2006
IEEE
This paper extends the work described in “An Approach to the Formalisation of a Certification Policy”, 7th International Symposium on System and Information Security (SSI 2005...
CCS
2004
ACM
15 years 3 months ago
2004
ACM
Information flow type systems provide an elegant means to enforce confidentiality of programs. Using the proof assistant Isabelle/HOL, we have machine-checked a recent work of B...