Specifying authentication using signals events in CSP

Shaikh, SA ORCID: 0000-0002-0726-3319, Bush, Vicky J ORCID: 0000-0002-8733-4358 and Schneider, S.A. (2005) Specifying authentication using signals events in CSP. In: Conference on Information Security and Cryptology (CISC'2005), volume 3822 of Lecture Notes in Computer Science, Beijing, China.. ISBN 3-540-30855-5

Full text not available from this repository.

Item Type:	Conference or Workshop Item (UNSPECIFIED)
Depositing User:	EPrints Services
Date Deposited:	06 Mar 2014 11:04
Last Modified:	01 Aug 2021 21:27
URI:	https://eprints.glos.ac.uk/id/eprint/288

University Staff: Request a correction | Repository Editors: Update this record