12637 search results - page 454 / 2528 » Security for Extensible Systems |
194
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
With the discovery of new exploit techniques, new protection mechanisms are needed as well. Mitigations like DEP (Data Execution Prevention) or ASLR (Address Space Layout Randomiz...
188
click to vote
EUROSYS
2008
ACM
16 years 4 months ago
2008
ACM
Despite the many solutions proposed by industry and the research community to address phishing attacks, this problem continues to cause enormous damage. Because of our inability t...
164
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper describes an architecture for modeling cooperating systems of communicating agents. The authors’ goal is not that of providing a framework to implement multi...
149
click to vote
EUROPKI
2008
Springer
15 years 8 months ago
2008
Springer
Real world healthcare systems are generally large and overly complex systems. Designing privacy-friendly protocols for such systems is a challenging task. In this paper we present ...
209
click to vote
INFSOF
2002
15 years 6 months ago
2002
We formally verify aspects of the rule-based expert system of IBM's System Automation software for IBM's zSeries mainframes. Starting with a formalization of the expert ...