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