2575 search results - page 185 / 515 » Providing security with insecure systems |
188
click to vote
ACSAC
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper argues that Napoleon, a flexible, role-based access control (RBAC) modeling environment, is also a practical solution for enforcing business process control, or workflo...
161
click to vote
ICC
2008
IEEE
16 years 25 days ago
2008
IEEE
—In this paper, we discuss how to prevent users’ passwords from being stolen by adversaries. We propose differentiated security mechanisms in which a user has the freedom to ch...
183
click to vote
CSFW
2004
IEEE
15 years 10 months ago
2004
IEEE
Recently we showed how to justify a Dolev-Yao type model of cryptography as used in virtually all automated protocol provers under active attacks and in arbitrary protocol environ...
183
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
Program errors are a source of information leaks. Tracking these leaks is hard because error propagation breaks out of program structure. Programming languages often feature excep...
203
click to vote
ICC
2007
IEEE
16 years 22 days ago
2007
IEEE
—Vehicular communication networking is a promising approach of facilitating road safety, traffic management, and infotainment dissemination for drivers and passengers. However, i...