288 search results - page 5 / 58 » Formal Analysis of Workflow Systems with Security Considerat... |
100
click to vote
CCS
2005
ACM
15 years 3 months ago
2005
ACM
We study formal security properties of network-attached storage (NAS) in an applied pi calculus. We model NAS as an implementation of a specification based on traditional central...
87
Voted
AC
2003
Springer
15 years 1 months ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...
ESORICS
2012
Springer
13 years 2 days ago
2012
Springer
Given the sensitive nature of health data, privacy of eHealth systems is of prime importance. An eHealth system must enforce that users remain private, even if they are bribed or c...
ECSA
2010
Springer
14 years 10 months ago
2010
Springer
Security metrics are the tools for providing correct and upto-date information about a state of security. This information is essential for managing security efficiently. Although...