id: 06080426
dt: a
an: 06080426
au: Chen, Tzu-Chun; Bocchi, Laura; Deniélou, Pierre-Malo; Honda, Kohei;
    Yoshida, Nobuko
ti: Asynchronous distributed monitoring for multiparty session enforcement.
so: Bruni, Roberto (ed.) et al., Trustworthy global computing. 6th
    international symposium, TGC 2011, Aachen, Germany, June 9‒10, 2011.
    Revised selected papers. Berlin: Springer (ISBN 978-3-642-30064-6/pbk).
    Lecture Notes in Computer Science 7173, 25-45 (2012).
py: 2012
pu: Berlin: Springer
la: EN
cc: 
ut: 
ci: 
li: doi:10.1007/978-3-642-30065-3_2
ab: Summary: We propose a formal model of runtime safety enforcement for
    largescale, cross-language distributed applications with possibly
    untrusted endpoints. The underlying theory is based on multiparty
    session types with logical assertions (MPSA), an expressive protocol
    specification language that supports runtime validation through
    monitoring. Our method starts from global specifications based on MPSAs
    which the participants should obey. Distributed monitors use local
    specifications, projected from global specifications, to detect whether
    the interactions are well-behaved, and take appropriate actions, such
    as suppressing illegal messages. We illustrate the design of our model
    with examples from real-world distributed applications. We prove
    monitor transparency, communication conformance, and global session
    fidelity in the presence of possibly unsafe endpoints.
rv: