1679 search results - page 221 / 336 » Security Properties and CSP |
151
click to vote
ENTCS
2002
15 years 6 months ago
2002
In the Mobile Ambients of Cardelli and Gordon an ambient is a unit for mobility, which may contain processes (data) and sub-ambients. Since the seminal work of Cardelli and Gordon...
168
click to vote
JCS
2010
15 years 4 months ago
2010
raction of cryptographic operations by term algebras, called Dolev-Yao models, is essential in almost all tool-supported methods for proving security protocols. Recently significa...
173
click to vote
TRUST
2010
Springer
15 years 4 months ago
2010
Springer
Abstract. Credential platforms implemented on top of Trusted Execution Environments3 (TrEEs) allow users to store and use their credentials, e.g., cryptographic keys or user passwo...
164
click to vote
ACSAC
2010
IEEE
15 years 4 months ago
2010
IEEE
Worms propagating in online social networking (OSN) websites have become a major security threat to both the websites and their users in recent years. Since these worms exhibit un...
173
click to vote
AICS
2009
15 years 4 months ago
2009
We propose the development of a prediction market to provide a form of collective intelligence for forecasting prices for "toxic assets" to be transferred from Irish bank...