poster

Implementing real-time transactional security property using timed edit automata

Authors:

N. Rajamanickam,

R. NadarajanAuthors Info & Claims

SIN '13: Proceedings of the 6th International Conference on Security of Information and Networks

Pages 429 - 432

https://doi.org/10.1145/2523514.2523578

Published: 26 November 2013 Publication History

Get Access

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.

References

[1]

R. Alur and D. Dill. A theory of timed automata. Theoritical Computer Science, 1994.

Digital Library

Google Scholar

[2]

N. A. Lynch, R. Segala, and F. Vaandrager. Hybrid i/o automata. Information and Computation, pages 105--157, 2003.

Digital Library

Google Scholar

[3]

J. Bengtsson and W. Yi. Timed automata: Semantics, algorithms and tools. In Lectures on Concurrency and Petri nets. Springer, 2004.

Crossref

Google Scholar

[4]

M. Bishop. Computer Security: Art and Science. Addison-Wesly, 2002.

Google Scholar

[5]

M. Bishop and S. S. Venkatramanayya. Introduction to computer Security. Pearson Education, 2006.

Google Scholar

[6]

F. B. Schneider. Enforceable security policies. ACM Transactions on Information and System Security, 2000.

Digital Library

Google Scholar

[7]

S. Davidson, I. Lee, and V. Wolfie. Timed atomic commitment. IEEE Transactions on Computers, 1989.

Digital Library

Google Scholar

[8]

R. Gupta, J. Haritsa, K. Ramamritham, and S. Seshadri. Commit processing in distributed real-time database systems. 1996.

Google Scholar

[9]

J. R. Haritsa, K. Ramamritham, and R. Gupta. The prompt real-time commit protocol. IEEE Transactions on Parallel and Distributed Systems, 1999.

Digital Library

Google Scholar

[10]

D. K. Kaynar, N. A. Lynch, R. Segala, and F. Vaandrager. Timed i/o automata: A mathematical framework for modeling and analyzing real-time systems. 2003.

Google Scholar

[11]

D. K. Kaynar, N. A. Lynch, R. Segala, and F. Vaandrager. The theory of timed i/o automata. 2004.

Google Scholar

[12]

J. Ligatti, L. Bauer, and D. Walker. More enforceable security policies. In Foundations of Computer Security Workshop, 2002.

Google Scholar

[13]

J. Ligatti, L. Bauer, and D. Walker. Edit automata: enforcement mechanism for run-time security policies. International Journal of Information Security, 2005.

Google Scholar

[14]

J. Ligatti, L. Bauer, and D. Walker. Run-time enforcement of nonsafety policies. ACM Transactions on Information and Systems Security, 2009.

Digital Library

Google Scholar

Cited By

View all

Sureshkumar VAnitha RRajamanickam N(2015)Hash Based Two Gateway Payment Protocol Ensuring Accountability with Dynamic ID-Verifier for Digital Goods ProvidersComputational Intelligence, Cyber Security and Computational Models10.1007/978-981-10-0251-9_35(369-384)Online publication date: 19-Dec-2015
https://doi.org/10.1007/978-981-10-0251-9_35
Rajamanickam NNadarajan RElçi A(2014)Formal Verification of Finite State Transactional Security PolicyNetwork and System Security10.1007/978-3-319-11698-3_28(363-376)Online publication date: 2014
https://doi.org/10.1007/978-3-319-11698-3_28

Index Terms

Implementing real-time transactional security property using timed edit automata

Recommendations

Interrupt Timed Automata: verification and expressiveness

We introduce the class of Interrupt Timed Automata (ITA), a subclass of hybrid automata well suited to the description of timed multi-task systems with interruptions in a single processor environment.

While the reachability problem is undecidable for ...
Security policies enforcement using finite and pushdown edit automata

Edit automata have been introduced by J.Ligatti et al. as a model for security enforcement mechanisms which work at run time. In a distributed interacting system, they play a role of a monitor that runs in parallel with a target program and transforms ...
Edit distance for timed automata
HSCC '14: Proceedings of the 17th international conference on Hybrid systems: computation and control

The edit distance between two (untimed) traces is the minimum cost of a sequence of edit operations (insertion, deletion, or substitution) needed to transform one trace to the other. Edit distances have been extensively studied in the untimed setting, ...

Comments

Information & Contributors

Information

Published In

SIN '13: Proceedings of the 6th International Conference on Security of Information and Networks

November 2013

483 pages

ISBN:9781450324984

DOI:10.1145/2523514

General Chairs:
Atilla Elçi
Aksaray University, Turkey
,
Manoj Singh Gaur
Malaviya National Institute of Technology, India
,
Mehmet A. Orgun
Macquarie University, Australia
,
Oleg B. Makarevich
Southern Federal University, Russia

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the Owner/Author.

In-Cooperation

SIGSAC: ACM Special Interest Group on Security, Audit, and Control

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 26 November 2013

Check for updates

Author Tags

Qualifiers

Poster

Conference

SIN '13

Sponsor:

MNIT
Aksaray Univ.
SFedU

SIN '13: The 6th International Conference on Security of Information and Networks

November 26 - 28, 2013

Aksaray, Turkey

Acceptance Rates

Overall Acceptance Rate 102 of 289 submissions, 35%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
49
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 09 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Sureshkumar VAnitha RRajamanickam N(2015)Hash Based Two Gateway Payment Protocol Ensuring Accountability with Dynamic ID-Verifier for Digital Goods ProvidersComputational Intelligence, Cyber Security and Computational Models10.1007/978-981-10-0251-9_35(369-384)Online publication date: 19-Dec-2015
https://doi.org/10.1007/978-981-10-0251-9_35
Rajamanickam NNadarajan RElçi A(2014)Formal Verification of Finite State Transactional Security PolicyNetwork and System Security10.1007/978-3-319-11698-3_28(363-376)Online publication date: 2014
https://doi.org/10.1007/978-3-319-11698-3_28

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations

Interrupt Timed Automata: verification and expressiveness

Security policies enforcement using finite and pushdown edit automata

Edit distance for timed automata

Comments

Published In

Sponsors

In-Cooperation

Publisher

Publication History

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

PDF

eReader

Abstract

References

Cited By

Index Terms

Recommendations

Interrupt Timed Automata: verification and expressiveness

Security policies enforcement using finite and pushdown edit automata

Edit distance for timed automata

Comments

Information

Published In

Sponsors

In-Cooperation

Publisher

Publication History

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Get Access

Login options

Full Access

View options

PDF

eReader

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations