556 search results - page 7 / 112 » An Abstract Reduction Model for Computer Security Risk |
72
Voted
NSDI
2008
14 years 12 months ago
2008
In this paper, we discuss Bitfrost, the security model developed by the One Laptop Per Child project for its XO laptop computers. Bitfrost implements a number of security measures...
86
Voted
AMAST
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...
EUROCRYPT
2007
Springer
15 years 1 months ago
2007
Springer
We show an efficient secure two-party protocol, based on Yao's construction, which provides security against malicious adversaries. Yao's original protocol is only secur...
87
Voted
HICSS
2008
IEEE
15 years 4 months ago
2008
IEEE
Architecting security solutions for today’s diverse computer systems is a challenge. The modern business environment is comprised of many different applications, e-mail, databas...
JSSPP
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. The commercial exploitation of the emerging Grid and Cloud markets needs SLAs to sell computing run times. Job traces show that users have a limited ability to estimate t...