3387 search results - page 123 / 678 » Model-Checking for Real-Time Systems |
141
click to vote
ISI
2004
Springer
15 years 11 months ago
2004
Springer
We propose a surveillance framework (SECRETS: SECure Real-time ElecTronic Surveillance) that is a practical solution to safeguarding sensitive physical facilities like command and ...