1028 search results - page 105 / 206 » Using Attack Graphs to Design Systems |
SMA
1999
ACM
15 years 2 months ago
1999
ACM
Nearly all major commercial computer-aided design systems have adopted a feature-based design approach to solid modeling. Models are created via a sequence of operations which app...
CRYPTO
2000
Springer
15 years 2 months ago
2000
Springer
Abstract. While there is a great deal of sophistication in modern cryptology, simple (and simplistic) explanations of cryptography remain useful and perhaps necessary. Many of the ...
109
click to vote
ASPLOS
2012
ACM
13 years 5 months ago
2012
ACM
Virtualization has become a standard part of many computer systems. A key part of virtualization is the all-powerful hypervisor which manages the physical platform and can access ...
EUROSYS
2009
ACM
15 years 6 months ago
2009
ACM
Social networks are popular platforms for interaction, communication and collaboration between friends. Researchers have recently proposed an emerging class of applications that l...
CSFW
2010
IEEE
15 years 1 months ago
2010
IEEE
—We propose a formal model of web security based straction of the web platform and use this model to analyze the security of several sample web mechanisms and applications. We id...