2808 search results - page 334 / 562 » Mobile Agent Security |
188
click to vote
MOBIHOC
2010
ACM
15 years 4 months ago
2010
ACM
Barrier coverage is a critical issue in wireless sensor networks for various battlefield and homeland security applications. The goal is to effectively detect intruders that attem...
336
click to vote
NETWORKING
2011
14 years 9 months ago
2011
Short-range, point-to-point communications for mobile users enjoy increasing popularity, particularly with the rise in Bluetooth-equipped mobile devices. Unfortunately, virus write...
176
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a formal model for modeling and reasoning about security protocols. Our model extends standard, inductive, trace-based, symbolic approaches with a formalization of phys...
182
click to vote
WETICE
1996
IEEE
15 years 10 months ago
1996
IEEE
This paper describes a security architecture designed to support role-based access control for distributed object systems in a large-scale, multi-organisational enterprise in whic...
191
click to vote
ENTCS
2007
15 years 6 months ago
2007
Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over...