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 3441 299-315

Ämneskategorier

Data- och informationsvetenskap

Mer information

Skapat

2017-10-07