Autonomic specification of self-protection for distributed MARF with ASSL

Mokhov, Serguei A.; Vassev, Emil

doi:10.1145/1557626.1557655

Cited by 12 publications

(11 citation statements)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The DMARF system can be abstracted as AS (Automatic System), and it has a management module in charge of ensuring the self-protection, self-optimization and selfhealing features [12,22,23,24]. We assume the whole system includes n autonomic components AC and each of them is able to finish one function.…”

Section: Frameworkmentioning

confidence: 99%

Formal Specification of Automatic DMARF Based on CSP

Ding

Zhu

2011

2011 Eighth IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems

View full text Add to dashboard Cite

Nowadays, along with computing system becomes more and more complex, it is even harder to control the system effectively. In order to make it easier and ensure the reliability, the computing system needs to be self managed. In 2001, IBM proposed the concept of Autonomic Computing, in which system can manage itself through controlling the interaction of all the consisted parts. However, designing the interaction and verifying the autonomic features are not easy. Formal specification can be very helpful in achieving this. In this paper, we apply Process Algebra CSP in exploring the autonomic features of DMARF system. We give the formal specification of its three features, including selfprotection, self-optimization and self-healing.

show abstract

Section: Frameworkmentioning

confidence: 99%

Formal Specification of Automatic DMARF Based on CSP

Ding

Zhu

2011

2011 Eighth IEEE International Conference and Workshops on Engineering of Autonomic and Autonomous Systems

View full text Add to dashboard Cite

show abstract

“…Having a distributed MARF (DMARF) still required a lot of manual management, and a proposal was put forward to make it into an autonomic system. A brief overview of the distributed autonomic MARF (DMARF and ADMARF) is given in terms of how the design and practical implementation are accomplished for local and distributed learning and self-management in Mokhov (2006) ;; ; Mokhov & Jayakumar (2008); Mokhov & Vassev (2009a); Vassev & Mokhov (2009; primarily relying on distributed technologies provided by Java as described in Jini Community (2007); Sun Microsystems, Inc. (2004;; Wollrath & Waldo (1995-2005. Some scripting aspects of MARF applications are also formally proposed in Mokhov (2008f).…”

Section: Our Approach and Accomplishmentsmentioning

confidence: 99%

Combining and Comparing Multiple Algorithms for Better Learning and Classification: A Case Study of MARF

Mokhov¹

2010

Robot Learning

View full text Add to dashboard Cite

“…Specifically, our priority is to implement the notion of self-forensics in the GIPSY [70], [32], [34], [71] and DMARF [61], [72], [73], [74] systems. Then, we plan to gather performance and storage overhead statistics when the self-forensics modules are turned on.…”

Section: Future Workmentioning

confidence: 99%

“…(In the nutshell, the issue is similar to remove logging in the specified format, perhaps offsite, maintaining a secure channel, but this deserves a separate complete discussion; additionally an investigated concept, like self-protection for DMARF [73] can be employed as one of the assurance techniques for self-forensics).…”

Section: Future Workmentioning

confidence: 99%

Self-Forensics Through Case Studies of Small-to-Medium Software Systems

Mokhov

Vassev

2009

2009 Fifth International Conference on IT Security Incident Management and IT Forensics

Self Cite

View full text Add to dashboard Cite

The notion and definition of self-forensics was introduced by Mokhov to encompass software and hardware capabilities for autonomic and other systems to record their own states, events, and others encoded in a forensic form suitable for (potentially automated) forensic analysis, evidence modeling and specification, and event reconstruction for various system components. For self-forensics, "self-dissection" is possible for analysis using a standard language and decision making if the system includes such a self-forensic subsystem. The self-forensic evidence is encoded in a cyberforensic investigation case and event reconstruction language, Forensic Lucid. The encoding of the stories depicted by the evidence comprise a context as a first-class value of a Forensic Lucid "program", after which an investigator models the case describing relationships between various events and pieces of information. It is important to get the context right for the case to have a meaning and the proper meaning computation, so we perform case studies of some small-to-medium, distributed and not, primarily academic open-source software systems. In this work, for the purpose of implementation of the small self-forensic modules for the data structures and event flow, we specify the requirements of what the context should be for those systems. The systems share in common the base programming language -Java, so our self-forensic logging of the Java data structures and events as Forensic Lucid context specification expressions is laid out ready for an investigator to examine and model the case.

show abstract

Autonomic specification of self-protection for distributed MARF with ASSL

Cited by 12 publications

References 15 publications

Formal Specification of Automatic DMARF Based on CSP

Formal Specification of Automatic DMARF Based on CSP

Combining and Comparing Multiple Algorithms for Better Learning and Classification: A Case Study of MARF

Self-Forensics Through Case Studies of Small-to-Medium Software Systems

Contact Info

Product

Resources

About