4211 search results - page 699 / 843 » A formal approach to MASQ |
156
click to vote
CAV
2007
Springer
16 years 20 days ago
2007
Springer
We present Hector, a software tool for combining different abstraction methods to extract sound models of heap-manipulating imperative programs with recursion. Extracted models ma...
146
click to vote
CAV
2007
Springer
16 years 20 days ago
2007
Springer
We propose a shape analysis that adapts to some of the complex composite data structures found in industrial systems-level programs. Examples of such data structures include “cyc...
167
click to vote
CBSE
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. The SOAP Service Description Language (SSDL) is a SOAPcentric language for describing Web Service contracts. SSDL focuses on abstraction as the building block for creatin...
142
click to vote
CCS
2007
ACM
16 years 20 days ago
2007
ACM
er presents a novel approach for concisely abstracting authentication s and for subsequently analyzing those abstractions in a sound manner, i.e., deriving authentication guarante...
187
click to vote
CCS
2007
ACM
16 years 20 days ago
2007
ACM
In measuring the overall security of a network, a crucial issue is to correctly compose the measure of individual components. Incorrect compositions may lead to misleading results...