1599 search results - page 204 / 320 » Program Analysis for Security and Privacy |
106
Voted
ISI
2007
Springer
15 years 10 months ago
2007
Springer
— Surveillance is an important task for guaranteeing the security of individuals. Being able to intelligently monitor the activity in given spaces is essential to achieve such su...
135
click to vote
CSFW
2003
IEEE
15 years 9 months ago
2003
IEEE
To be practical, systems for ensuring secure information flow must be as permissive as possible. To this end, the author recently proposed a type system for multi-threaded progra...
147
click to vote
SP
2003
IEEE
15 years 9 months ago
2003
IEEE
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...
150
click to vote
CSFW
2011
IEEE
14 years 4 months ago
2011
IEEE
—This paper introduces YARRA, a conservative extension to C to protect applications from non-control data attacks. YARRA programmers specify their data integrity requirements by ...
122
click to vote
ACSAC
2006
IEEE
2006
IEEE
A Study of Access Control Requirements for Healthcare Systems Based on Audit Trails from Access Logs
15 years 10 months ago
In healthcare, role-based access control systems are often extended with exception mechanisms to ensure access to needed informationeven when the needs don’t followthe expected ...