9780387240503 - formal aspects in security and trust: ifip tc1 wg1.7 workshop on formal aspects in security and trust (fast), world computer congress, august 22-27, ... and communication technology, band 173) (1 Ergebnisse)