6195 search results - page 993 / 1239 » Cloud Computing Security |
168
click to vote
FOSSACS
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
209
click to vote
GCC
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Ad hoc network is a peer-to-peer grid system. The combination of the Knowledge Grid and ad hoc network could have a great effect on the future interconnection environment...
166
click to vote
ICALP
2005
Springer
16 years 2 days ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...
162
click to vote
ICCS
2005
Springer
16 years 2 days ago
2005
Springer
We describe the Agents Channelling ContExt Sensitive Services (ACCESS) architecture, an open agent-based architecture that supports the development and deployment of multiple heter...
142
click to vote
ISI
2005
Springer
16 years 2 days ago
2005
Springer
This work identifies the limitations of n-way data analysis techniques in multidimensional stream data, such as Internet chatroom communications data, and establishes a link betwe...