Ajoy Kumar Datta Introduction to special issue on stabilization, safety, and security of distributed systems. 2009 4 TAAS 1 http://doi.acm.org/10.1145/1462187.1462188 db/journals/taas/taas4.html#Datta09