5255 search results - page 511 / 1051 » Formal Methods for Privacy |
176
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
As a result of physically owning the client machine, cheaters in online games currently have the upper-hand when it comes to avoiding detection. To address this problem and turn t...
211
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
Anomaly detection for network intrusion detection is usually considered an unsupervised task. Prominent techniques, such as one-class support vector machines, learn a hypersphere ...
155
click to vote
EDBT
2009
ACM
16 years 1 months ago
2009
ACM
Mashup is a web technology that combines information from more than one source into a single web application. This technique provides a new platform for different data providers ...
164
click to vote
WISTP
2009
Springer
16 years 1 months ago
2009
Springer
Since their publication in 1996, Fault Attacks have been widely studied from both theoretical and practical points of view and most of cryptographic systems have been shown vulnera...
210
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...