Quantifying Security for Timed Process Algebras.

Damas P. Gruska
Published in: Fundam. Informaticae (2009)