181 search results - page 21 / 37 » Automated Verification of UMLsec Models for Security Require... |
103
click to vote
CAV
2010
Springer
14 years 10 months ago
2010
Springer
Abstract. Proofs of progress properties often require fairness assumptions. Incorporating global fairness assumptions in a compositional method is a challenge, however, given the l...
106
Voted
CCS
2008
ACM
15 years 2 months ago
2008
ACM
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
97
Voted
FLOPS
2006
Springer
15 years 4 months ago
2006
Springer
We describe the design and implementation of a trust-management system Soutei, a dialect of Binder, for access control in distributed systems. Soutei policies and credentials are w...
119
click to vote
ESORICS
2011
Springer
14 years 5 days ago
2011
Springer
While most research on XSS defense has focused on techniques for securing existing applications and re-architecting browser mechanisms, sanitization remains the industry-standard d...
105
Voted
OOPSLA
2000
Springer
15 years 4 months ago
2000
Springer
Most real-time embedded control software feature complex interactions with asynchronous inputs and environment objects, and a meaningful simulation of a real-time control software...