7213 search results - page 107 / 1443 » Automated model grouping |
107
click to vote
ATC
2007
Springer
15 years 4 months ago
2007
Springer
Group key exchange protocols allow their participants to compute a secret key which can be used to ensure security and privacy for various multi-party applications. The resulting g...
ADHOC
2008
14 years 10 months ago
2008
In this paper, we present a secure group key management scheme for hierarchical mobile ad-hoc networks. Our approach aims to improve both scalability and survivability of group ke...
ISSTA
2006
ACM
15 years 4 months ago
2006
ACM
Model checking can be an effective technique for detecting concurrency-related errors in software systems. However, due to scalability issues, to handle industrial-strength softw...
112
click to vote
ASIACRYPT
2004
Springer
15 years 1 months ago
2004
Springer
Group signature schemes are cryptographic systems that provide revocable anonymity for signers. We propose a group signature scheme with constant-size public key and signature leng...
HCI
2009
14 years 7 months ago
2009
During persistent surveillance of a given population in a conflict situation, data management can quickly become unwieldy due to the inundation of low-level information from many, ...