Calculus Using Fitness Testing for Method Redirection

Zhao, Y; Zhu, Changpeng; Han, Bo; Zeng, Qinghua

doi:10.3724/sp.j.1001.2013.04269

Cited by 3 publications

(5 citation statements)

References 6 publications

(6 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Granule-oriented programming [19] uses fitness to determine which components are available for applications. In [12], predicate is applied to determine the applicability of context-specific methods. Our approach also uses predicate for the similar purpose.…”

Section: Object Evolutionmentioning

confidence: 99%

“…However, there are some differences between them. Predicate in [19] is not formally defined while fitness in [12] and our approach is formally defined as a predicate method. Moreover, fitness in [12] is applied to select context-specific methods of composed classes while predicate in our approach is applied to select context-specific methods of composed objects.…”

Section: Object Evolutionmentioning

confidence: 99%

“…It returns a method body of a method in a class. More details about it are shown in [7,12]. "predicate() true IN C L " represents the layer L that matches the current context while "predicate() false IN C L " represents the layer L that does not match.…”

Section: Definition 3 (Object Definitionmentioning

confidence: 99%

“…e second constraint ensures fields in a layered class are only accessed by methods in the class, which ensures accessing fields do not lose after object evolution. e function mtype [7,12] returns the type of a method in a class. e third constraint requires C L2 to have the same methods as C L1 , which ensures there are no dynamic-type violations after objects' evolution.…”

Section: Definition 3 (Object Definitionmentioning

confidence: 99%

“…Furthermore, object evolution can lead to type violation [11]. erefore, this paper incorporates heap and address into RFT-FJ [12] to model the objects and evolutions, where the semantics of field access and method invocation on objects are described in detail. Next, the impact of the evolution on type safety is analyzed.…”

Section: Introductionmentioning

confidence: 99%

See 4 more Smart Citations

An Object Proxy-Based Dynamic Layer Replacement to Protect IoMT Applications

Han

Zhao

Zhu

2019

Security and Communication Networks

Self Cite

View full text Add to dashboard Cite

The Internet of medical things (IoMT) has become a promising paradigm, where the invaluable additional data can be collected by the ordinary medical devices when connecting to the Internet. The deep understanding of symptoms and trends can be provided to patients to manage their lives and treatments. However, due to the diversity of medical devices in IoMT, the codes of healthcare applications may be manipulated and tangled by malicious devices. In addition, the linguistic structures for layer activation in languages cause controls of layer activation to be part of program’s business logic, which hinders the dynamic replacement of layers. Therefore, to solve the above critical problems in IoMT, in this paper, a new approach is firstly proposed to support the dynamic replacement of layer in IoMT applications by incorporating object proxy into virtual machine (VM). Secondly, the heap and address are used to model the object and object evolution to guarantee the feasibility of the approach. After that, we analyze the influences of field access and method invocation and evaluate the risk and safety of the application when these constraints are satisfied. Finally, we conduct the evaluations by extending Java VM to validate the effectiveness of the proposal.

show abstract

Section: Object Evolutionmentioning

confidence: 99%