Bridging Language-Based and Process Calculi Security
Paper i proceeding, 2005

Författare

Riccardo Focardi

Sabina Rossi

Andrei Sabelfeld

Chalmers, Data- och informationsteknik, Datavetenskap

Proceedings of Foundations of Software Science and Computation Structures (FOSSACS'05),

Vol. LNCS 299-315

Ämneskategorier

Data- och informationsvetenskap