32 citations · 78 across the 20 of their papers we have counts for
1 paper · 2 filters
Marco Carbone, Joshua Guttman
We equip choreography-level session descriptions with a simple abstraction of a security infrastructure. Message components may be enclosed within (possibly nested) "boxes" annotat…