4731 search results - page 257 / 947 » Securing Interactive Programs |
208
click to vote
ICST
2009
IEEE
16 years 1 months ago
2009
IEEE
In this paper, we consider typical applications in which the business logic is separated from the access control logic, implemented in an independent component, called the Policy ...
173
Voted
HICSS
2006
IEEE
16 years 14 days ago
2006
IEEE
The content of information security curricula spans a wide array of topics. Because of this variety, a program needs to focus on some particular aspect and provide appropriate dep...
154
click to vote
ACSAC
2005
IEEE
16 years 1 days ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
172
click to vote
ESORICS
1994
Springer
15 years 10 months ago
1994
Springer
CAFE ("Conditional Access for Europe") is an ongoing project in the European Community's ESPRIT program. The goal of CAFE is to develop innovative systems for condit...
159
click to vote
USENIX
1990
15 years 7 months ago
1990
In the past several years, there have been a large number of published works that have graphically described a wide variety of security problems particular to Unix. Without fail, ...