DMCA

Temporal Aspects as Security Automata (2006)

by Peter Hui , James Riely
Venue:In Proceedings of FOAL’ 06
Citations:3 - 0 self