609 search results - page 48 / 122 » Modelling and Checking Timed Authentication of Security Prot... |
IFIP
2009
Springer
13 years 6 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 ...
CCS
2006
ACM
14 years 25 days ago
2006
ACM
Integrated Delivery Systems (IDSs) now become a primary means of care provision in healthcare domain. However, existing password systems (under either the single-server model or t...
ENTCS
2007
13 years 9 months ago
2007
Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over...
CCS
2001
ACM
14 years 1 months ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...
LICS
2003
IEEE
14 years 2 months ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...