1028 search results - page 158 / 206 » Using Attack Graphs to Design Systems |
MICRO
1997
IEEE
14 years 27 days ago
1997
IEEE
Cost and power consumption are two of the most important design factors for many embedded systems, particularly consumer devices. Products such as Personal Digital Assistants, pag...
ENTCS
2007
13 years 8 months ago
2007
Protocol Composition Logic (PCL) is a logic for proving security properties of network protocols that use public and symmetric key cryptography. The logic is designed around a pro...
ICCCN
2007
IEEE
14 years 3 months ago
2007
IEEE
— Anomaly-based intrusion detection systems have the ability of detecting novel attacks, but in real-time detection, they face the challenges of producing many false alarms and f...
WWW
2005
ACM
14 years 9 months ago
2005
ACM
RDF is increasingly being used to represent metadata. RDF Site Summary (RSS) is an application of RDF on the Web that has considerably grown in popularity. However, the way RSS sy...
ICIAR
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. With the adoption of tablet-based data entry devices, there is considerable interest in methods for converting hand-drawn sketches of flow charts, graphs and block diagr...