5255 search results - page 358 / 1051 » Formal Methods for Privacy |
143
click to vote
ISPEC
2010
Springer
15 years 6 months ago
2010
Springer
Often authentication and confidentiality are required as simultaneous key requirements in many cryptographic applications. The cryptographic primitive called signcryption effective...
140
click to vote
CRITIS
2007
15 years 6 months ago
2007
Security Management is a complex task. It requires several interconnected activities: designing, implementing and maintaining a robust technical infrastructure, developing suitable...
161
click to vote
CRITIS
2007
15 years 6 months ago
2007
We propose and investigate a game-theoretic approach to the malware filtering and detector placement problem which arises in network security. Our main objective is to develop opt...
139
Voted
ACISP
2010
Springer
15 years 6 months ago
2010
Springer
To reduce the damage of phishing and spyware attacks, banks, governments, and other security-sensitive industries are deploying one-time password systems, where users have many pa...
161
click to vote
ESORICS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Researchers have proposed formal definitions of quantitative information flow based on information theoretic notions such as the Shannon entropy, the min entropy, the gue...