311 search results - page 6 / 63 » Secure Information Flow by Self-Composition |
75
Voted
CRISIS
2008
14 years 11 months ago
2008
ACJ
2006
14 years 9 months ago
2006
73
Voted
ASIAN
2003
Springer
15 years 1 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...
ACSAC
2010
IEEE
14 years 7 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 ...
ACSC
2006
IEEE
15 years 1 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...