Bridging Language-Based and Process Calculi Security
Paper in proceedings, 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

More information

Created

10/7/2017