Details

Autor(en) / Beteiligte

• Schneider, Steve
• Nielsen, Mogens
• Larsen, Kim G.

Titel

Process Algebra and Security (Abstract)

Ist Teil von

• CONCUR 2001 — Concurrency Theory, 2001, p.37-38

Ort / Verlag

Berlin, Heidelberg: Springer Berlin Heidelberg

Erscheinungsjahr

2001

Quelle

Alma/SFX Local Collection

Beschreibungen/Notizen

• Over the past decade, techniques from concurrency theory have been applied to problem areas in security, sometimes with extremely successful results. This talk discusses the contribution made by concurrency theory to the analysis of security protocols, and to the characterisation of non-interference properties.