252 search results - page 25 / 51 » Information-Flow Security for Interactive Programs |
122
click to vote
ASAP
2010
IEEE
15 years 4 months ago
2010
IEEE
Recent research has proposed security-critical real-time embedded systems with provably-strong information containment through the use of hardware-enforced execution leases. Execut...
117
Voted
USS
2004
15 years 3 months ago
2004
Window systems are the primary mediator of user input and output in modern computing systems. They are also a commonly used interprocess communication mechanism. As a result, they...
134
Voted
TCS
2008
15 years 2 months ago
2008
Abstract. Cryptographic operations are essential for many security-critical systems. Reasoning about information flow in such systems is challenging because typical (noninterferenc...
130
Voted
JCS
2010
15 years 29 days ago
2010
A model of resource access control is presented in which the access control to resources can employ user interaction to obtain the necessary permissions. This model is inspired by...
113
Voted
EL
2002
15 years 2 months ago
2002
The traditional target of computer game security is mainly copy protection. The emergence of online games fundamentally changes the security requirements for computer games. Althou...