2137 search results - page 91 / 428 » Proving Abstract Non-interference |
141
click to vote
PROVSEC
2010
Springer
15 years 19 days ago
2010
Springer
Abstract. Signcryption as a single cryptographic primitive offers both confidentiality and authentication simultaneously. Generally in signcryption schemes, the message is hidden a...
113
Voted
UIST
2010
ACM
15 years 19 days ago
2010
ACM
This paper reports on the design and evaluation of UIMarks, a system that lets users specify on-screen targets and associated actions by means of a graphical marking language. UIM...
133
Voted
WABI
2010
Springer
15 years 19 days ago
2010
Springer
Abstract. A recursive algorithm by Aho, Sagiv, Szymanski, and Ullman [1] forms the basis for many modern rooted supertree methods employed in Phylogenetics. However, as observed by...
133
Voted
WD
2010
15 years 18 days ago
2010
Abstract--Reliable and secure content distribution in a disruptive environment is a critical challenge due to high mobile and lossy channels. Traditional IP networking and wireless...
149
Voted
ASIAN
2009
Springer
15 years 18 days ago
2009
Springer
Abstract. Language-based information flow analysis is used to statically examine a program for information flows between objects of different security domains, and to verify these ...