69 search results - page 5 / 14 » Temporal Verification in Secure Group Communication System D... |
GLOBECOM
2009
IEEE
13 years 11 months ago
2009
IEEE
File distribution is becoming a key technology, in particular in large scale content broadcasting systems like DVBH/SH. They largely rely on Application Level FEC codes (ALFEC) in ...
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
Achieving information assurance and security is a complex and challenging task, which is crucial from national and personal security point of views. Research in detecting deceptiv...
SIGCOMM
2010
ACM
13 years 7 months ago
2010
ACM
Capabilities provide an access control model that can be used to construct systems where safety of protection can be precisely determined. However, in order to be certain of the s...
DFG
2004
Springer
13 years 11 months ago
2004
Springer
This paper presents the real-time model checker RAVEN and related theoretical background. RAVEN augments the efficiency of traditional symbolic model checking with possibilities to...
MIDDLEWARE
2005
Springer
14 years 27 days ago
2005
Springer
Group management service plays a key role in wireless sensor networks (WSNs) as it provides support to high level middleware services such as object tracking, security, fault-tole...