311 search results - page 6 / 63 » Secure Information Flow by Self-Composition |
CRISIS
2008
15 years 3 months ago
2008
ACJ
2006
15 years 1 months ago
2006
102
click to vote
ASIAN
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. We provide a formal definition of information flows in XML transformations and, more generally, in the presence of type driven computations and describe a sound technique...
100
click to vote
ACSAC
2010
IEEE
14 years 11 months ago
2010
IEEE
Leakage of confidential information represents a serious security risk. Despite a number of novel, theoretical advances, it has been unclear if and how quantitative approaches to ...
97
Voted
ACSC
2006
IEEE
15 years 5 months ago
2006
IEEE
Communications devices intended for use in securitycritical applications must be rigorously evaluated to ensure they preserve data confidentiality. This process includes tracing t...