2043 search results - page 140 / 409 » Reasoning About Security Models |
114
click to vote
CCS
2010
ACM
15 years 7 months ago
2010
ACM
In distributed environments, statements from a number of principals, besides the central trusted party, may influence the derivations of authorization decisions. However, existin...
119
click to vote
CCS
2007
ACM
15 years 4 months ago
2007
ACM
We describe the formalization of a correctness proof for a conflict detection algorithm for firewalls in the Coq Proof Assistant. First, we give formal definitions in Coq of a fir...
109
click to vote
CSFW
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract—Many computer systems have a functional requirement to release information. Such requirements are an important part of a system’s information security requirements. Cu...
93
Voted
CCS
2006
ACM
15 years 4 months ago
2006
ACM
Web applications are the Achilles heel of our current ICT infrastructure. NIST's national vulnerability database clearly shows that the percentage of vulnerabilities located ...
115
Voted
CORR
2010
Springer
15 years 26 days ago
2010
Springer
In secure multi-party computation n parties jointly evaluate an n-variate function f in the presence of an adversary which can corrupt up till t parties. All honest parties are req...