research-article

Attribute-based approach of defining the secure behavior of automata objects

Authors:

Dmitriy LevonevskiyAuthors Info & Claims

SIN '17: Proceedings of the 10th International Conference on Security of Information and Networks

Pages 67 - 72

https://doi.org/10.1145/3136825.3136887

Published: 13 October 2017 Publication History

Get Access

Abstract

The article proposes an enhanced behavior model using graphs of state transitions. The properties and advantages of the proposed model are discussed, UML-based Cooperative Interaction of Automata Objects (CIAO) language is described, attribute approach on its parsing mechanism is introduced. The proposed model for describing behavior is aimed at achieving higher reliability and productivity indicators when designing the secure architecture and implementing reactive and distributed systems in comparison with traditional methods. A side-by-side goal is to create a convenient publication language for describing parallel algorithms and distributed reactive systems. The offered model has advantages under certain conditions in comparison with other models of behavior description in the field of the description of asynchronous distributed reacting systems.

References

[1]

M. Langeheinrich. 2011. Privacy by Design âĂŞ Principles of Privacy Aware Ubiquitous System. In Proceedings of the 13th International Conference on Ubiquitous Computing (UbiComp 2011). ACM, New York, NY, 273--291.

Digital Library

Google Scholar

[2]

&Dstrok;ŚP.A. Nixon, W. Wagealla, C. English, S. Terzis. 2005. Chapter 11. Security, Privacy and Trust Issues in Smart Environments. In Smart Environments: Technologies, Protocols, and Applications. New York: Wiley.

Google Scholar

[3]

D. Levonevskiy, A. Saveliev, I. Vatamaniuk. 2017. Integration of Corporate Electronic Services into a Smart Space Using Temporal Logic of Actions. In Proceedings of the 2nd International Conference Âăon Interactive ÂăCollaborative Robotics (ICR 2017). In press.

Crossref

Google Scholar

[4]

A.Y. Atiskov, F.A. Novikov, L.N. Fedorchenko et al. 2013. Ontology-Based Analysis of Cryptography Standards and Possibilities of Their Harmonization. In Theory and Practice of Cryptography Solutions for Secure Information Systems. Hershey: IGI Global, 1--33.

Google Scholar

[5]

J.E. Hopcroft, R. Motwani, J.D. 2001. Ullman. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, 521 p.

Digital Library

Google Scholar

[6]

C. Bock, J. Odell. 2011. Ontological Behavior Modeling. Journal of Object Technology. 10, 1--36.

Crossref

Google Scholar

[7]

E. BÃürger, R. StÃd'rk. 2003. Abstract State Machines. A Method for High-Level System Design and Analysis. Springer, Berlin, 438 p.

Digital Library

Google Scholar

[8]

C. Bock. 1999. Three Kinds of Behavior Models. Journal of Object-Oriented Programming. 12 (4), 36--39.

Google Scholar

[9]

D. Harel. 1987. Statecharts: a Visual Formalism for Complex Systems. Science of Computer Programming. 8, 231--274. (87) 90035-9

Digital Library

Google Scholar

[10]

B. Meyer. 2000. Object-Oriented Software Construction. Prentice-Hall, New Jersey, 1406 p.

Digital Library

Google Scholar

[11]

L. Fedorchenko. 2006. On Regularization of Context-Free Grammars. Izvestiya vuzov. Priborostroyeniye. 49 (11), 50âĂŞ54.

Google Scholar

[12]

K. Schwab. 2016. The Fourth Industrial Revolution. World Economic Forum.

Digital Library

Google Scholar

Cited By

View all

Levonevskiy DNovikov FFedorchenko LAfanasieva IMakarevich OPopov DBabenko LBurnap PElçi APoet RVaidya JOrgun MGaur MShekhawat R(2019)Verification of internet protocol properties using cooperating automaton objectsProceedings of the 12th International Conference on Security of Information and Networks10.1145/3357613.3357639(1-4)Online publication date: 12-Sep-2019
https://dl.acm.org/doi/10.1145/3357613.3357639
Kozlovsky VAidarov DErmakov VKolesov S(2019)Estimation of the influence of variations in the dimensional parameters car’s generator active zone set of a on its technical characteristics, through elasticity coefficients (influences)IOP Conference Series: Materials Science and Engineering10.1088/1757-899X/666/1/012083666(012083)Online publication date: 7-Dec-2019
https://doi.org/10.1088/1757-899X/666/1/012083
Levonevskiy DFedorchenko LAfanasieva INovikov FBurnap PElçi ARana OReinecke PMoradpoor NTheodorakopoulos GKarabina K(2018)Architecture of the Software System for Adaptive Protection of Network InfrastructureProceedings of the 11th International Conference on Security of Information and Networks10.1145/3264437.3264467(1-4)Online publication date: 10-Sep-2018
https://dl.acm.org/doi/10.1145/3264437.3264467

Index Terms

Attribute-based approach of defining the secure behavior of automata objects

Recommendations

Research on Verification Method of AADL Behavior Model Based on BIP
ICCIS '13: Proceedings of the 2013 International Conference on Computational and Information Sciences

To analyze and validate AADL (architecture analysis and design language) behavior model, a mapping regulation between AADL behavior model and BIP model was proposed based on the syntax definition of AADL behavior annex and the descriptive way of ...
A behavior model based on information transmission for crowd simulation
Transactions on edutainment VI

In this paper, a crowd behavior model based on information transmission processes is presented. In crowds, human behaviors are easily influenced by information. The information is transferred to them by other people and surrounding environment. When ...
Self-Checking Tamper-Proofing Based on Software Behavior Model
FCST '09: Proceedings of the 2009 Fourth International Conference on Frontier of Computer Science and Technology

With the consistent propulsion of the application software, the protection of software itself becomes a serious issue. A novel algorithm and an approach to behavior self-check for software tamper-proofing is proposed in this paper. To represent the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

SIN '17: Proceedings of the 10th International Conference on Security of Information and Networks

October 2017

321 pages

ISBN:9781450353038

DOI:10.1145/3136825

General Chairs:
Rajveer Singh Shekhawat
Manipal University Jaipur, India
,
M. S. Gaur
IIT Jammu, India
,
Atilla Elci
Aksaray University, Turkey
,
Jaideep Vaidya
Rutgers University
,
Oleg Makarevich
Southern Federal University, Russia
,
Ron Poet
University of Glasgow, UK
,
Mehmet Orgun
McQuarie Univ, Australia
,
Vijaypal S. Dhaka
Manipal University Jaipur, India
,
Manoj K. Bohra
Manipal University Jaipur, India
,
Virender Singh
IIT Bombay, India
,
Ludmila Babenko
Southern Federal University, Russia
,
Naghmeh M. Sheykhkanloo
Napier University, UK
,
Behnam Rahnama
Medis Inc., Iran

Permission to make digital or hard copies of all or part 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 components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 13 October 2017

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SIN '17

SIN '17: Security of Information and Networks

October 13 - 15, 2017

Jaipur, India

Acceptance Rates

Overall Acceptance Rate 102 of 289 submissions, 35%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
36
Total Downloads

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

Reflects downloads up to 21 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Levonevskiy DNovikov FFedorchenko LAfanasieva IMakarevich OPopov DBabenko LBurnap PElçi APoet RVaidya JOrgun MGaur MShekhawat R(2019)Verification of internet protocol properties using cooperating automaton objectsProceedings of the 12th International Conference on Security of Information and Networks10.1145/3357613.3357639(1-4)Online publication date: 12-Sep-2019
https://dl.acm.org/doi/10.1145/3357613.3357639
Kozlovsky VAidarov DErmakov VKolesov S(2019)Estimation of the influence of variations in the dimensional parameters car’s generator active zone set of a on its technical characteristics, through elasticity coefficients (influences)IOP Conference Series: Materials Science and Engineering10.1088/1757-899X/666/1/012083666(012083)Online publication date: 7-Dec-2019
https://doi.org/10.1088/1757-899X/666/1/012083
Levonevskiy DFedorchenko LAfanasieva INovikov FBurnap PElçi ARana OReinecke PMoradpoor NTheodorakopoulos GKarabina K(2018)Architecture of the Software System for Adaptive Protection of Network InfrastructureProceedings of the 11th International Conference on Security of Information and Networks10.1145/3264437.3264467(1-4)Online publication date: 10-Sep-2018
https://dl.acm.org/doi/10.1145/3264437.3264467

View Options

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

Research on Verification Method of AADL Behavior Model Based on BIP

A behavior model based on information transmission for crowd simulation

Self-Checking Tamper-Proofing Based on Software Behavior Model