7213 search results - page 107 / 1443 » Automated model grouping |
161
click to vote
ATC
2007
Springer
15 years 10 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...
140
click to vote
ADHOC
2008
15 years 4 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...
124
click to vote
ISSTA
2006
ACM
15 years 10 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...
173
click to vote
ASIACRYPT
2004
Springer
15 years 7 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...
150
click to vote
HCI
2009
15 years 1 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, ...