Login / Signup

Security policy validation using temporal executable specifications.

Jihène KrichèneMohamed HamdiNoureddine Boudriga
Published in: SMC (2007)
Keyphrases