6555 search results - page 781 / 1311 » Secure attribute-based systems |
172
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
Real-time control has become increasingly important as technologies are moved from the lab into real world situations. The complexity associated with these systems increases as co...
139
click to vote
ACSAC
2000
IEEE
15 years 11 months ago
2000
IEEE
Although there have been various proposals to build large-scale PKIs, there appears to be no research publicly available on the underlying certificate store which will be required...
183
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
Theoretically motivated planning systems often make assumptions about their environments, in areas such as the predictability of action e ects, static behavior of the environment,...
165
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
This paper introduces a new domain for believable agents (BA) and presents novel methods for dealing with the unique challenges that arise therein. The domain is providing improvi...
166
click to vote
AMAST
2000
Springer
15 years 11 months ago
2000
Springer
The primary objective of this paper is to present the deÿnition of a new dynamic, linear and modal logic for security protocols. The logic is compact, expressive and formal. It a...