Login / Signup

A Formal Security Model for Microprocessor Hardware.

Volkmar LotzVolker KesslerGeorg Walter
Published in: IEEE Trans. Software Eng. (2000)
Keyphrases