4731 search results - page 11 / 947 » Securing Interactive Programs |
CASSIS
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
EUROMICRO
1999
IEEE
15 years 1 months ago
1999
IEEE
We propose an hardware solution to several security problems that are difficult to solve on classical processor architectures, like licensing, electronic commerce, or software pri...
AGENTS
2001
Springer
15 years 2 months ago
2001
Springer
AGENTS
2000
Springer
15 years 1 months ago
2000
Springer
AGENTS
2000
Springer
15 years 1 months ago
2000
Springer