Nr. 39 (2003): RS-39 Applying pi-Calculus to Practice: An Example of a Unified Security Mechanism

Publiceret: 2003-06-09

Artikler