2043 search results - page 30 / 409 » Reasoning About Security Models |
131
Voted
CAV
2005
Springer
15 years 6 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...
138
click to vote
ATAL
2011
Springer
14 years 13 days 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...
101
Voted
NSPW
2004
ACM
15 years 5 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...
97
Voted
CSFW
2005
IEEE
15 years 6 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
15 years 1 months ago
2008
Springer
