publication venue for What the heck is this application doing? – A security-by-contract architecture for pervasive services. 28:566-577. 2009
