6137 search results - page 998 / 1228 » Securing Collaborative Applications |
113
click to vote
APLAS
2007
ACM
15 years 6 months ago
2007
ACM
We propose a series of type systems for the information-flow security of assembly code. These systems extend previous work TALC with some timing annotations and associated judgment...
155
click to vote
CAV
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Solvers for satisfiability modulo theories (SMT) check the satisfiability of first-order formulas containing operations from various theories such as the Booleans, bit-ve...
103
click to vote
COMPSAC
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract--Vulnerabilities in operating systems and web applications have been and are being put into various classifications, leading to a better understanding of their causes and ...
114
click to vote
ASIAN
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...
123
click to vote
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
Ping-pong protocols with recursive definitions of agents, but without any active intruder, are a Turing powerful model. We show that under the environment sensitive semantics (i.e....