2 search results - page 1 / 1 » Choreographies with Secure Boxes and Compromised Principals |
CORR
2009
Springer
13 years 2 months ago
2009
Springer
We equip choreography-level session descriptions with a simple abstraction of a security infrastructure. Message components may be enclosed within (possibly nested) "boxes&quo...
CORR
2009
Springer
13 years 2 months ago
2009
Springer
A choreography describes a transaction in which several principals interact. Since choreographies frequently describe business processes affecting substantial assets, we need a se...