516 search results - page 23 / 104 » Comparing Two Information Flow Security Properties |
POPL
2006
ACM
14 years 9 months ago
2006
ACM
This article investigates formal properties of a family of semantically sound flow-sensitive type systems for tracking information flow in simple While programs. The family is ind...
IPAW
2010
13 years 6 months ago
2010
Given the significant increase of on-line services that require personal information from users, the risk that such information is misused has become an important concern. In such ...
IJISEC
2008
13 years 8 months ago
2008
Preventing improper information leaks is a greatest challenge of the modern society. In this paper we present a technique for measuring the ability of several families of adversari...
CHI
2007
ACM
14 years 24 days ago
2007
ACM
Intrusion detection (ID) is one of network security engineers' most important tasks. Textual (command-line) and visual interfaces are two common modalities used to support en...
PAMI
2010
13 years 7 months ago
2010
—Stability (robustness) of feature selection methods is a topic of recent interest, yet often neglected importance, with direct impact on the reliability of machine learning syst...