2139 search results - page 109 / 428 » Distributed computing and computer security education |
130
click to vote
CORR
2006
Springer
15 years 2 months ago
2006
Springer
Logics for security protocol analysis require the formalization of an adversary model that specifies the capabilities of adversaries. A common model is the Dolev-Yao model, which c...
130
click to vote
AINA
2009
IEEE
15 years 9 months ago
2009
IEEE
— Sensor networks are commonly used for security and surveillance applications. As sensor nodes have limited battery paower, computing, and storage resources, the energy efficie...
123
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Integer factorization is a very hard computational problem. Currently no ecient algorithm for integer factorization is publicly known. However, this is an important probl...
CORR
2010
Springer
15 years 1 months ago
2010
Springer
Quantum money is a cryptographic protocol in which a mint can produce a quantum state, no one else can copy the state, and anyone (with a quantum computer) can verify that the sta...
105
click to vote
CCS
2007
ACM
15 years 9 months ago
2007
ACM
This paper studies an active underground economy which specializes in the commoditization of activities such as credit card fraud, identity theft, spamming, phishing, online crede...