52 search results - page 1 / 11 » May Testing, Non-interference, and Compositionality |
ENTCS
2000
13 years 4 months ago
2000
POPL
2010
ACM
14 years 1 months ago
2010
ACM
Program analysis tools typically compute two types of information: (1) may information that is true of all program executions and is used to prove the absence of bugs in the progr...
TSE
2010
13 years 2 months ago
2010
Abstract—In multilevel systems it is important to avoid unwanted indirect information flow from higher levels to lower levels, namely the so called covert channels. Initial stud...
QSIC
2009
IEEE
13 years 11 months ago
2009
IEEE
—A web service may evolve autonomously, making peer web services in the same service composition uncertain as to whether the evolved behaviors may still be compatible to its orig...
JSS
2011
12 years 7 months ago
2011
: A web service may evolve autonomously, making peer web services in the same service composition uncertain as to whether the evolved behaviors are compatible with its original col...