2702 search results - page 331 / 541 » Message from the Editor |
152
click to vote
FM
2006
Springer
15 years 7 months ago
2006
Springer
Security-critical systems are an important application area for formal methods. However, such systems often contain cryptographic subsystems. The natural definitions of these subsy...
149
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
An aggregate signature scheme is a digital signature scheme where anyone given n signatures on n messages from n users can aggregate all these signatures into a single short signa...
159
click to vote
COMCOM
2008
15 years 3 months ago
2008
When a vehicle moves on roads, it can receive messages from base stations (BSs) and other vehicles. After it moves far away the transmission range, the vehicle tries to find an av...
154
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract—With rising concerns on user privacy over the Internet, anonymous communication systems that hide the identity of a participant from its partner or third parties are hig...
171
click to vote
TMC
2008
15 years 2 months ago
2008
Continued advances in mobile networks and positioning technologies have created a strong market push for location-based applications. Examples include location-aware emergency resp...