2011 First SysSec Workshop, pp. 63-66 Zeitschrift uri icon