author : Volkmar Lotz

Short works

• A Formal Security Model for Microprocessor Hardware. 1999. (In FM'99 volume 1 )