Process Algebra and Security.

Conference presentation

Process Algebra and Security.

CONCUR 2001, Vol.LNCS 2, pp.37-38

12th International Conference on Concurrency Theory

2001

Abstract

Files and links (1)

url

http://link.springer.de/link/service/series/0558/bibs/2154/21540037.htmView

Metrics

15 Record Views

Details

Title: Process Algebra and Security.
Creators: S Schneider
Contributors: KG Larsen
M Nielsen
Springer (Publisher)
Publication Details: CONCUR 2001, Vol.LNCS 2, pp.37-38
Conference: 12th International Conference on Concurrency Theory
Date published: 2001
Date submitted: 17/05/2017
Identifiers: 99513916902346
Academic Unit: University of Surrey
Resource Type: Conference presentation