2232 search results - page 151 / 447 » Formal Modeling and Analysis of Organizations |
188
click to vote
IFIP
2009
Springer
15 years 4 months ago
2009
Springer
Security-sensitive business processes are business processes that must comply with security requirements (e.g. authorization constraints). In previous works it has been shown that ...
170
click to vote
CSFW
2002
IEEE
15 years 11 months ago
2002
IEEE
We present a formal analysis technique for probabilistic security properties of peer-to-peer communication systems based on random message routing among members. The behavior of g...
149
click to vote
FMICS
2007
Springer
16 years 20 days ago
2007
Springer
Abstract. This paper reports the analysis of an industrial implementation of the session-layer of a load-balancing software system. This software comprises 7.5 thousand lines of C ...
168
click to vote
ECAI
2004
Springer
15 years 12 months ago
2004
Springer
Tasks like diagnosis, failure-modes-and-effects analysis (FMEA), and therapy proposal involve reasoning about variables and parameters deviating from some reference state. In model...
152
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
Cryptographic protocols are crucial for securing electronic transactions. The confidence in these protocols can be increased by the formal analysis of their security properties. ...