The Logic of Proofs as a Foundation for Certifying Mobile Computation. - Eduardo Bonelli; Federico Feller (LFCS, 2009)

Justification Logic as a foundation for certifying mobile computation. - Eduardo Bonelli; Federico Feller (Ann. Pure Appl. Log., 2012)