288 search results - page 31 / 58 » Formal Analysis of Workflow Systems with Security Considerat... |
SP
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract—Current web browsers are plagued with vulnerabilities, providing hackers with easy access to computer systems via browser-based attacks. Browser security efforts that re...
SAFECOMP
2007
Springer
15 years 3 months ago
2007
Springer
A strategy and relating activities of a software safety analysis (SSA) are presented for the software of a digital reactor protection system where software modules in the design de...
DMS
2010
14 years 8 months ago
2010
We will evaluate electronic payment (ePayment) systems by employing a use-value analysis. The key success factors of ePayment systems are security and flexibility. Not surprisingly...
ICDCSW
2007
IEEE
15 years 4 months ago
2007
IEEE
In this paper, we consider the problem of reducing the number of false positives generated by cooperative Intrusion Detection Systems (IDSs) in Mobile Ad hoc Networks (MANETs). We...
ESORICS
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. We consider the problem of efficient key management and user revocation in cryptographic file systems that allow shared access to files. A performanceefficient solution t...