963 search results - page 120 / 193 » Formal Analysis of BPMN Models Using Event-B |
CCS
2009
ACM
16 years 2 months ago
2009
ACM
Despite several research studies, the effective analysis of policy based systems remains a significant challenge. Policy analysis should at least (i) be expressive (ii) take accou...
120
click to vote
FOCI
2007
IEEE
15 years 7 months ago
2007
IEEE
— We evaluate the average waiting time between observing the price of financial markets and the next price change, especially in an on-line foreign exchange trading service for ...
118
click to vote
ASIACRYPT
2008
Springer
15 years 3 months ago
2008
Springer
We study the security of the widely deployed Secure Session Layer/Transport Layer Security (TLS) key agreement protocol. Our analysis identifies, justifies, and exploits the modul...
ICDCSW
2005
IEEE
15 years 7 months ago
2005
IEEE
Content-based event matching is an important problem in large-scale event-based publish/subscribe systems. However, open questions remain in ...
101
Voted
PODS
2005
ACM
16 years 1 months ago
2005
ACM
Some promising recent schemes for XML access control employ encryption for implementing security policies on published data, avoiding data duplication. In this paper we study one ...