6555 search results - page 827 / 1311 » Secure attribute-based systems |
169
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
A significant and growing class of location-based mobile applications aggregate position data from individual devices at a server and compute aggregate statistics over these posi...
176
click to vote
CCS
2011
ACM
14 years 6 months ago
2011
ACM
Many users face surveillance of their Internet communications and a significant fraction suffer from outright blocking of certain destinations. Anonymous communication systems a...
183
click to vote
HICSS
2007
IEEE
16 years 22 days ago
2007
IEEE
This paper proposes a pioneering Battery-Sensing Intrusion Protection System (B-SIPS) for mobile computers, which alerts on power changes detected on small wireless devices, using...
152
click to vote
ICC
2007
IEEE
16 years 22 days ago
2007
IEEE
—Frequency hopping systems have been widely used in military communications to prevent hostile jamming, interception and detection. In traditional frequency hopping (FH) systems,...
149
Voted
STACS
2007
Springer
16 years 15 days ago
2007
Springer
We consider deducibility constraints, which are equivalent to particular Diophantine systems, arising in the automatic verification of security protocols, in presence of associati...