1373 search results - page 137 / 275 » Secure multi-mode systems and their applications for pervasi... |
170
click to vote
JPDC
2006
15 years 5 months ago
2006
The simulations used in the field of high energy physics are compute intensive and exhibit a high level of data parallelism. These features make such simulations ideal candidates ...
153
click to vote
ACSAC
2002
IEEE
15 years 11 months ago
2002
IEEE
Almost thirty years ago a vulnerability assessment of Multics identified significant vulnerabilities, despite the fact that Multics was more secure than other contemporary (and cu...
183
click to vote
SACMAT
2010
ACM
15 years 10 months ago
2010
ACM
We show the practical feasibility of monitoring complex security properties using a runtime monitoring approach for metric first-order temporal logic. In particular, we show how ...
182
click to vote
GD
2008
Springer
15 years 7 months ago
2008
Springer
Abstract. As the number of devices connected to the internet continues to grow rapidly and software systems are being increasingly deployed on the web, security and privacy have be...
145
click to vote
ACSAC
2001
IEEE
15 years 9 months ago
2001
IEEE
The state of the science of information security is astonishingly rich with solutions and tools to incrementally and selectively solve the hard problems. In contrast, the state of...