1599 search results - page 223 / 320 » Program Analysis for Security and Privacy |
131
Voted
CCS
2009
ACM
15 years 7 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...
139
Voted
SACMAT
2009
ACM
15 years 10 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...
155
Voted
CCS
2009
ACM
15 years 10 months 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...
127
Voted
CCS
2007
ACM
15 years 9 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...
124
Voted
ESORICS
2003
Springer
15 years 8 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...