4126 search results - page 437 / 826 » Relationships with other Formalisms |
156
click to vote
BPM
2010
Springer
15 years 8 months ago
2010
Springer
During the previous years, we presented several results concerned with various issues related to the correctness of models for business processes and services (i. e., interorganiza...
189
click to vote
ESORICS
2010
Springer
15 years 8 months ago
2010
Springer
We present a novel hybrid communication protocol that guarantees mobile users' k-anonymity against a wide-range of adversaries by exploiting the capability of handheld devices...
215
click to vote
AI
2010
Springer
15 years 7 months ago
2010
Springer
How can an intelligent agent update her knowledge base about an action domain, relative to some conditions (possibly obtained from earlier observations)? We study this question in...
178
click to vote
CN
2010
15 years 7 months ago
2010
This poster discusses methods to characterize the resilience of networks to a number of challenges and attacks, with the goal of developing quantifiable metrics to determine the de...
172
click to vote
CORR
2008
Springer
15 years 7 months ago
2008
Springer
We present a new technique for verifying correspondences in security protocols. In particular, correspondences can be used to formalize authentication. Our technique is fully auto...