Bridging Language-Based and Process Calculi Security
Paper in proceeding, 2005
Author
Riccardo Focardi
Sabina Rossi
Andrei Sabelfeld
Chalmers, Computer Science and Engineering (Chalmers), Computing Science (Chalmers)
Proceedings of Foundations of Software Science and Computation Structures (FOSSACS'05),
Vol. LNCS 3441 299-315
Subject Categories
Computer and Information Science