5255 search results - page 383 / 1051 » Formal Methods for Privacy |
189
Voted
ECRIME
2007
15 years 9 months ago
2007
There are many applications available for phishing detection. However, unlike predicting spam, there are only few studies that compare machine learning techniques in predicting ph...
128
Voted
FOSAD
2009
Springer
15 years 9 months ago
2009
Springer
A program verifier is a tool that allows developers to prove that their code satisfies its specification for every possible input and every thread schedule. These lecture notes des...
146
click to vote
ACISP
2006
Springer
15 years 8 months ago
2006
Springer
The only known construction of identity-based signatures that can be proven secure in the standard model is based on the approach of attaching certificates to non-identity-based si...
140
click to vote
ACSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
Since attackers trust computer systems to tell them the truth, it may be effective for those systems to lie or mislead. This could waste the attacker's resources while permit...
136
click to vote
ACSAC
2004
IEEE
15 years 8 months ago
2004
IEEE
One of the growing problems faced by network administrators is the abuse of computing resources by authorized and unauthorized personnel. The nature of abuse may vary from using u...