@Misc{ poster:ServiceAutomataACSAC-2010, author = {Richard Gay and Heiko Mantel and Barbara Sprick}, title = {{Service Automata for Secure Distributed Systems}}, howpublished = {Poster at the 26th Annual Computer Security Applications Conference (ACSAC)}, year = 2010 }