some image logo

HOME

SEARCH

CURRENT ISSUE

REGULAR ISSUES

SPECIAL ISSUES

   Recent

   In Progress

   Archive

   Proposal

SURVEY ARTICLES

AUTHORS

ABOUT

SERVICE

LOGIN

FAQ

SUPPORT

CONTACT

SPECIAL ISSUE:
Selected papers of the conferences "FORTE" and "COORDINATION" 2014 (in progress)



Preface


Quantitative information flow under generic leakage functions and adaptive adversaries
M. Boreale and Francesca Pampaloni


A Program Logic for Verifying Secure Routing Protocols
Chen Chen, Limin Jia, Hao Xu, Cheng Luo, Wenchao Zhou and Boon Thau Loo


Type-based Self-stabilisation for Computational Fields
Ferruccio Damiani and Mirko Viroli


Type-checking Liveness for Collaborative Processes with Bounded and Unbounded Recursion
Søren Debois, Thomas Hildebrandt, Tijs Slaats and Nobuko Yoshida


Discovering, Quantifying, and Displaying Attacks
Roberto Vigo, Flemming Nielson and Hanne Riis Nielson



DOI:

Creative Commons