Implementing real-time transactional security property using timed edit automata

Authors:
N. Rajamanickam;R. Nadarajan
Affiliations:
PSG College of Technology, Coimbatore, India;PSG College of Technology, Coimbatore, India
Venue:
Proceedings of the 6th International Conference on Security of Information and Networks
Year:
2013

Citing 6
Cited 0

Timed Atomic Commitment

IEEE Transactions on Computers
A theory of timed automata

Theoretical Computer Science
The PROMPT Real-Time Commit Protocol

IEEE Transactions on Parallel and Distributed Systems
Enforceable security policies

ACM Transactions on Information and System Security (TISSEC)
Hybrid I/O automata

Information and Computation
Run-Time Enforcement of Nonsafety Policies

ACM Transactions on Information and System Security (TISSEC)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Timed edit automaton is action sequence transformer which takes a sequence of actions as input and produces another sequence of actions according to the policy it implements. If the input action sequence obeys the policy then timed edit automaton produces same actions sequence or an equivalent action sequence. If the input action sequence does not obey the policy then the timed edit automaton produces modified action sequence. Timed edit automaton is suitable for implementing real-time transactional security property.