1134 search results - page 54 / 227 » Distributed Proving in Access-Control Systems |
132
click to vote
SP
2009
IEEE
15 years 10 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
236
click to vote
VLDB
2006
ACM
16 years 3 months ago
2006
ACM
Abstract The protection of customer privacy is a fundamental issue in today's corporate marketing strategies. Not surprisingly, many research efforts have proposed new privacy...
113
click to vote
HT
1996
ACM
15 years 7 months ago
1996
ACM
Computing support forlargeengineeringenterprisesprovides an example of the need for hypermedia-based collaborative computing systems composed of a large number of distributed hete...
135
click to vote
MADNES
2005
Springer
15 years 8 months ago
2005
Springer
An outstanding security problem in mobile agent systems is resource access control, or authorization in its broader sense. In this paper we present an authorization framework for m...
130
click to vote
ICPADS
2008
IEEE
15 years 9 months ago
2008
IEEE
Body sensor networks (BSNs) have become a promising technology for healthcare, in which biosensors continuously monitor physiological parameters of a user. Distinct from conventio...