4731 search results - page 11 / 947 » Securing Interactive Programs |
CASSIS
2004
Springer
14 years 26 days 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
13 years 11 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
13 years 12 months ago
2001
Springer
AGENTS
2000
Springer
13 years 11 months ago
2000
Springer
AGENTS
2000
Springer
13 years 11 months ago
2000
Springer