"Choreographies with Secure Boxes and Compromised Principals"

Marco Carbone, Joshua D. Guttman (2009)

Details and statistics

DOI: 10.4204/EPTCS.12.1

access: open

type: Conference or Workshop Paper

metadata version: 2024-10-06