Implementing real-time transactional security property using timed edit automata.
N. RajamanickamR. NadarajanPublished in: SIN (2013)
Keyphrases
- real time
- timed automata
- finite state machines
- security requirements
- information security
- low cost
- real time systems
- situational awareness
- control system
- statistical databases
- high speed
- blind signature scheme
- security properties
- intrusion detection
- security analysis
- discrete event
- regular expressions
- security issues
- efficient implementation
- fault tolerant
- petri net
- access control
- vision system
- database systems