Formalizing class dynamic software updating

6854933580_2c8b688306_z

This approach is appealing because it is general-purpose: any application can made dynamically updatable without requiring special support. Evaluating Dynamic Software Update Safety Using Efficient Systematic Testing. Chang Liu, Austin Harris, Martin Maas, Michael Hicks, Mohit Tiwari, and Elaine Shi. Dynamic Enforcement of Knowledge-based Security Policies using Probabilistic Abstract Interpretation.

The challenge is in making DSU practical: it should be flexible, and yet safe, efficient, and easy to use. In Proceedings of the ACM Conference on Object-Oriented Programming Languages, Systems, and Applications (OOPSLA), October 2014. In Proceedings of the International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), March 2015. Piotr Mardziel, Stephen Magill, Michael Hicks, and Mudhakar Srivatsa. Knowledge inference for optimizing and enforcing secure computations. In Proceedings of the Eighteenth IEEE Computer and Communication Society INFOCOM Conference, pages 1124-1133.

In Proceedings of the Annual Meeting of the US/UK International Technology Alliance, September 2013. In Proceedings of the Computer Security Foundations Symposium (CSF), June 2013.

This short paper consists of coherent excerpts from several prior papers. Winner of the 2014 NSA Best Scientific Cybersecurity Paper competition.

Whereas there are some studies on the correctness of dynamic updating, they focus on how to deploy updates at the code level, e.g., if procedures refer to the data of correct types.

However, little attention has been paid to the correctness of the dynamic updating at the behavior level, e.g., if systems after being updated behave as expected, and if unexpected behaviors can never occur.

Our methodology is general in that: (1) it can be applied to three updating models that are mainly used in current DSU systems; and (2) it is not restricted to dynamic updates for certain programming models.

Dynamic software updating (DSU) enables running programs to be updated with new code and data without interrupting their execution.

As a first step in this direction, we introduce a small update calculus with a…designed for quick setup and changeover, state-of-the-art digital control and drive systems, and user-friendly step-by-step programming makes the universal cylindrical grinder a flexible solution to a wide variety of internal and external grinding applications.Dynamic Software Updating (DSU) is a technique of updating running software systems on-the-fly.Knowledge Inference for Optimizing Secure Multi-party Computation. In Stefan Covaci, editor, Proceedings of the First International Working Conference on Active Networks (IWAN), volume 1653 of Lecture Notes in Computer Science, pages 307-314. Reprinted with extensions in DARPA Active Networks Conference and Exposition (DANCE) and IEEE Transactions on Systems, Man, and Cybernetics, Part C. Aseem Rastogi, Piotr Mardziel, Matthew Hammer, and Michael Hicks. Common Vulnerability Scoring System (CVSS) A method for classifying software flaws and assigning severity scores based on their characteristics.

You must have an account to comment. Please register or login here!