5665 search results - page 886 / 1133 » Introduction to Computer Security |
189
click to vote
FOSSACS
2005
Springer
16 years 18 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 ...
231
click to vote
GCC
2005
Springer
16 years 18 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...
189
click to vote
ICALP
2005
Springer
16 years 18 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...
174
click to vote
ICCS
2005
Springer
16 years 18 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...
156
click to vote
ISI
2005
Springer
16 years 18 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...