1599 search results - page 223 / 320 » Program Analysis for Security and Privacy |
158
Voted
CCS
2009
ACM
15 years 8 months ago
2009
ACM
Code injections attacks are one of the most powerful and important classes of attacks on software. In such attacks, the attacker sends malicious input to a software application, w...
161
click to vote
SACMAT
2009
ACM
15 years 11 months ago
2009
ACM
Role based access control (RBAC) is a widely used access control paradigm. In large organizations, the RBAC policy is managed by multiple administrators. An administrative role ba...
181
Voted
CCS
2009
ACM
16 years 1 days ago
2009
ACM
Network information distribution is a fundamental service for any anonymization network. Even though anonymization and information distribution about the network are two orthogona...
148
Voted
CCS
2007
ACM
15 years 11 months ago
2007
ACM
Software vulnerabilities have been the main contributing factor to the Internet security problems such as fast spreading worms. Among these software vulnerabilities, memory corrup...
147
Voted
ESORICS
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. Proofs of security protocols typically employ simple abstractions of cryptographic operations, so that large parts of such proofs pendent of cryptographic details. The ty...