69 search results - page 3 / 14 » The COPS Security Checker System |
IEEEARES
2008
IEEE
14 years 11 days ago
2008
IEEE
— Finding evidence of antedating is an important goal in many digital investigations. This paper explores how causality can expose antedating by investigating storage systems for...
QSIC
2007
IEEE
14 years 7 days ago
2007
IEEE
Security patterns capture best practice on secure software design and development. They document typical solutions to security problems. To ensure security, large software system ...
ENTCS
2007
13 years 6 months ago
2007
Much of the literature on symmetry reductions for model checking assumes a simple model of computation where the local state of each component in a concurrent system can be repres...
CSFW
2012
IEEE
11 years 8 months ago
2012
IEEE
—Role-based Access Control (RBAC) is one of the most widespread security mechanisms in use today. Given the growing complexity of policy languages and access control systems, ver...
SPIC
2011
13 years 13 days ago
2011
This paper proposes a collaborative color calibration method for multi-camera systems. The multi-camera color calibration problem is formulated as an overdetermined linear system,...