311 search results - page 6 / 63 » Secure Information Flow by Self-Composition |
82
Voted
ACJ
2006
15 years 3 months ago
2006
116
Voted
ASIAN
2003
Springer
15 years 7 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...
119
click to vote
ACSAC
2010
IEEE
15 years 1 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 ...
118
Voted
ACSC
2006
IEEE
15 years 7 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...