1362 search results - page 90 / 273 » Model Checking Large Network Protocol Implementations |
129
click to vote
DRM
2004
Springer
15 years 9 months ago
2004
Springer
This paper describes a security architecture allowing digital rights management in home networks consisting of consumer electronic devices. The idea is to allow devices to establi...
129
click to vote
ACSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
To protect privacy in large systems, users must be able to authenticate against a central server without disclosing their identity to the network. Private identification protocols ...
115
click to vote
PADS
2005
ACM
15 years 9 months ago
2005
ACM
A fundamental requirement for any network simulation environment is the realistic forwarding of packets from a source to a destination in the simulated topology. The routing decis...
137
click to vote
SIMUTOOLS
2008
15 years 5 months ago
2008
Mobile Ad Hoc Networks (MANETs) have evolved in the last years into standards in the communication world. By definition, they do not need any network infrastructure to facilitate ...
153
click to vote
CBSE
2008
Springer
15 years 5 months ago
2008
Springer
Current software component models insufficiently reflect the different stages of component life-cycle, which involves design, implementation, deployment, and runtime. Therefore, re...