"Proceedings of the 2004 ACM Workshop on Formal Methods in Security ..."

Vijayalakshmi Atluri et al. (2004)

Details and statistics

DOI:

access: closed

type: Editorship

metadata version: 2020-11-10