Execution Environment Feature Restriction via Capability Verification

Resolve Bottlenecks,
Find Innovative Solutions
Generate Solutions

Solution Overview

Problem

Conventional execution environments face challenges in restricting the use of features by applications, making it difficult to ensure compliance with programming policies and maintain system performance, as they often provide a wide range of features that may not be suitable for all types of applications.

Innovation Solution

An apparatus and method for capabilities verification and restriction in an execution environment, which involves identifying restricted features, using a configuration list or profiles to determine allowed features, and either compiling and executing or blocking applications based on these restrictions, ensuring that only authorized features are used.

Engineering Contradictions & Design Principles

VSEngineering Contradiction Analysis

1Adaptability or versatility

If conventional execution environments provide a wide range of features for use by applications, then the versatility and functionality of the execution environment is improved, but the ability to restrict feature use for programming policy compliance deteriorates

Engineering Contradiction:
Improvefeature availabilityVSAvoidfeature restriction capability
Core Design Contradiction:
Adaptability or versatilityVSDevice complexity

Solution Approach 1:

The execution environment is segmented into multiple isolated execution contexts (domains), each with its own capability set. System-level applications operate in one domain with full feature access, while user-level applications operate in another domain with restricted features. This segmentation allows the same execution environment to provide different feature sets to different applications simultaneously, resolving the contradiction between versatility and restriction capability.

Inventive Principle:
Principle #1Segmentation

Solution Approach 2:

A capability verification mechanism acts as an intermediary between applications and the execution environment features. This intermediary checks whether an application is authorized to use specific features before allowing access, enabling fine-grained control over feature usage. The intermediary layer maintains the full feature set available in the environment while preventing unauthorized access to restricted features.

Inventive Principle:
Principle #24Intermediary (Mediator)

2Reliability

If user-level applications are restricted from using particular features to comply with programming policies, then system performance and security are improved, but the ease of operation for legitimate applications deteriorates

Engineering Contradiction:
Improvesystem performanceVSAvoidapplication execution
Core Design Contradiction:
ReliabilityVSEase of operation

Solution Approach 1:

Capability verification is performed in advance before application execution begins. The system pre-establishes which features are available to each application domain and verifies capabilities before allowing operations. This preliminary action prevents runtime errors and performance degradation from unauthorized feature use, while transparently allowing legitimate applications to execute without interruption.

Inventive Principle:
Principle #10Preliminary action

3Adaptability or versatility

If system-level applications require access to the complete range of features, then the functionality for system operations is improved, but the difficulty of restricting feature use for other applications increases

Engineering Contradiction:
Improvesystem-level functionalityVSAvoidfeature restriction management
Core Design Contradiction:
Adaptability or versatilityVSDevice complexity

Solution Approach 1:

The execution environment dynamically adjusts feature availability based on the application domain and security context. System-level applications automatically receive access to the complete feature set, while user-level applications receive only authorized features. This dynamic capability assignment eliminates the need for manual feature restriction management while maintaining full system-level functionality when needed.

Inventive Principle:
Principle #15Dynamics

Data Source

PatentUS8112745B2Apparatus and method for capabilities verification and restriction of managed applications in an execution environment
Publication Date: 2012.02.07 HONEYWELL INTERNATIONAL INC
  • US8112745B2 patent drawing
  • US8112745B2 patent drawing
  • US8112745B2 patent drawing

AI summary

A method includes identifying one or more features of an execution environment to be used by an application during execution and determining if use of the one or more features is restricted. The method also includes, if use of the one or more features is not restricted, compiling and executing the application in the execution environment. The method further includes, if use of any of the one or more features is restricted, blocking execution of the application in the execution environment. Determining if the use of the one or more features is restricted may include using a configuration list or a profile identified using a custom attribute. The configuration list or the profile identifies features that are available for use in the execution environment and/or features that cannot be used in the execution environment.