Technology Implementing real-time transactional security property using timed edit automata

1. Implementing Real-Time Transactional Security Property using Timed Edit Automata N.Rajamanickam and R.Nadarajan PSG College of Technology Coimbatore, India [email protected]…