"A Formal Approach for Security Policy Enforcement in Concurrent Programs."

Mahjoub Langar, Mohamed Mejri, Kamel Adi (2007)

Details and statistics

DOI:

access: unavailable

type: Conference or Workshop Paper

metadata version: 2007-12-12