1612 search results - page 184 / 323 » About models of security protocols |
ACSAC
2006
IEEE
15 years 4 months ago
2006
IEEE
Recent occurrences of mobile worms like Cabir, Mabir and CommWarrior have created growing concerns over the security of data stored on mobile devices such as cell phones and PDAs....
CCS
2011
ACM
13 years 10 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...
LOCWEB
2009
ACM
15 years 4 months ago
2009
ACM
Microsoft has proposed an identity metasystem to standardize identity services and the principles behind them. A location metasystem can support interoperation between location se...
85
Voted
FM
2005
Springer
15 years 3 months ago
2005
Springer
The Mondex Electronic Purse system [18] is an outstanding example of formal refinement techniques applied to a genuine industrial scale application, and notably, was the first ve...
90
Voted
CRYPTO
2007
Springer
15 years 4 months ago
2007
Springer
Consider a challenge-response protocol where the probability of a correct response is at least α for a legitimate user and at most β < α for an attacker. One example is a CAP...