14850 search results - page 2667 / 2970 » The Security of |
156
click to vote
ASIAN
2006
Springer
15 years 10 months ago
2006
Springer
We present formal proof rules for inductive reasoning about the way that data transmitted on the network remains secret from a malicious attacker. Extending a compositional protoco...
174
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
The modular representation of concerns is imperative in the design modeling of multi-agent systems (MASs). However, MAS designers typically face a number of concerns that inherent...
178
click to vote
ATAL
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Security systems can observe and hear almost anyone everywhere. However, it is impossible to employ an adequate number of human experts to analyze the information explosi...
156
Voted
CNSR
2004
IEEE
15 years 10 months ago
2004
IEEE
An ad-hoc network is formed when a group of wireless nodes pledge to help each other in passing packets based upon a pre-agreed protocol. Temporally Ordered Routing Algorithm (TOR...
158
click to vote
COMPSAC
2004
IEEE
15 years 10 months ago
2004
IEEE
Considering the solution of dynamic access problems in a user hierarchy, a novel scheme based on one-way hash function is proposed to manage the cryptographic keys in the paper. T...