2137 search results - page 99 / 428 » Proving Abstract Non-interference |
97
Voted
CORR
2011
Springer
14 years 2 months ago
2011
Springer
ibe an algorithm for proving termination of programs abstracted to systems of monotonicity constraints in the integer domain. Monotonicity constraints are a non-trivial extension ...
81
Voted
ICASSP
2011
IEEE
14 years 2 months ago
2011
IEEE
Abstract—This paper considers cooperative sensing in cognitive networks under Spectrum Sensing Data Falsification attack (SSDF) in which malicious users can intentionally send f...
91
Voted
CCGRID
2011
IEEE
14 years 1 months ago
2011
IEEE
Abstract—Significant achievements have been made for automated allocation of cloud resources. However, the performance of applications may be poor in peak load periods, unless t...
131
Voted
CTRSA
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. Many real-world protocols, such as SSL/TLS, SSH, IPsec, IEEE 802.11i, DNSSEC, and Kerberos, derive new keys from other keys. To be able to analyze such protocols in a com...
92
Voted
DLOG
2011
14 years 1 months ago
2011
Abstract. The preferential and rational consequence relations first studied by Lehmann and colleagues play a central role in non-monotonic reasoning, not least because they provid...