Matching in security-by-contract for mobile code-Reference-Cited by-同舟云学术

Matching in security-by-contract for mobile code

Published:2009-05 Issue:5 Volume:78 Page:340-358
ISSN:1567-8326
Container-title:The Journal of Logic and Algebraic Programming
language:en
Short-container-title:The Journal of Logic and Algebraic Programming

Author:

Bielova N.,Dragoni N.,Massacci F.,Naliuka K.,Siahaan I.

Publisher

Elsevier BV

Subject

Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software

Reference52 articles.

1. P. Abercrombie, M. Karaorman, Jcontractor: bytecode instrumentation techniques for implementing design by contract in java, in: Proceedings of Second Workshop on Runtime Verification, ENTCS, 2002, pp. 55–79.

2. I. Aktug, K. Naliuka, ConSpec – a formal language for policyspecification, in: Proceedings of the 1st Workshop on Run Time Enforcement for Mobile and Distributed Systems (REM2007) , ENTCS, 2008, pp. 45–58.

3. Edit automata: enforcement mechanisms for run-time security policies;Bauer;Internat. J. Inform. Security,2005

4. N. Bielova, I. Siahaan, Testing decision procedures for security-by-contract, FCS-ARSPA-WITS’08, 2008.

5. Making components contract aware;Beugnard;Computer,1999

Cited by 12 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Test Code Flakiness in Mobile Apps: The Developer’s Perspective;Information and Software Technology;2024-04

2. Test Code Flakiness in Mobile Apps: The Developer's Perspective;2023

3. Protecting the Internet of Things with Security-by-Contract and Fog Computing;2019 IEEE 5th World Forum on Internet of Things (WF-IoT);2019-04

4. When the Price Is Your Privacy: A Security Analysis of Two Cheap IoT Devices;Advances in Intelligent Systems and Computing;2019-03-19

5. BYODCert: Toward a Cross-Organizational BYOD Paradigm;Green, Pervasive, and Cloud Computing;2017