Formal Analysis Methods of Network Security Design.

Mariusz Stawowski

Browse the full SECRYPT paper archive.