556 search results - page 29 / 112 » An Abstract Reduction Model for Computer Security Risk |
115
click to vote
ASPDAC
2001
ACM
15 years 3 months ago
2001
ACM
Abstract-- Image computation is the core operation for optimization and formal verification of sequential systems like controllers or protocols. State exploration techniques based ...
156
click to vote
SOSP
2003
ACM
15 years 8 months ago
2003
ACM
This paper presents a new approach called model-carrying code (MCC) for safe execution of untrusted code. At the heart of MCC is the idea that untrusted code comes equipped with a...
POLICY
2007
Springer
15 years 5 months ago
2007
Springer
The richness of today’s electronic communications mirrors physical world: activities such as shopping, business and scientific collaboration are conducted online. Current intera...
ACISP
1998
Springer
15 years 4 months ago
1998
Springer
Abstract. The past few years have seen the emergence of a large number of proposals for electronic payments over open networks. Among these proposals is the Secure Electronic Trans...
102
click to vote
INFOCOM
2005
IEEE
15 years 5 months ago
2005
IEEE
— Current computing systems depend on adaptation mechanisms to ensure that they remain in quiescent operating regions. These regions are often defined using efficiency, fairnes...