2043 search results - page 30 / 409 » Reasoning About Security Models |
CAV
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. We propose a new technique for the static analysis of concurrent programs comprised of multiple threads. In general, the problem is known to be undecidable even for progr...
ATAL
2011
Springer
12 years 10 months ago
2011
Springer
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
NSPW
2004
ACM
14 years 3 months ago
2004
ACM
Current models of Internet Computing are highly asymmetric – a host protects itself from malicious mobile Java programs, but there is no way to get assurances about the behavior...
CSFW
2005
IEEE
14 years 3 months ago
2005
IEEE
To reason about information flow based on beliefs, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a p...
FSTTCS
2008
Springer
13 years 11 months ago
2008
Springer
