2257 search results - page 181 / 452 » Secure program partitioning |
133
click to vote
ICST
2009
IEEE
15 years 7 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 ...
107
Voted
HICSS
2006
IEEE
15 years 6 months 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...
90
Voted
ACSAC
2005
IEEE
15 years 6 months 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. ...
113
Voted
ESORICS
1994
Springer
15 years 4 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...
USENIX
1990
15 years 2 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, ...