Granted Patent B2

US 12,443,716 · App. 17/624,375 · Granted Oct 14, 2025

Inventor: Dominique Bolignano (Paris, FR)

Assignee: PROVENRUN

G06F21/57

Abstract

Claims (43)

1. A secure cloud computing architecture comprising:

a first execution space (A) for data management and/or computer program execution in which the management of the data and/or the execution of the programs is/are controlled by a user; and

a second execution space (B) for data management and/or computer program execution in which the management of the data or the execution of the programs is controlled by a third-party operator;

first security policies (PSA) applied to the data or to the execution of the programs in the first execution space (A);

second security policies (PSB) applied to the data or to the execution of the programs in the second execution space (B);

a security property (P) expected by the user, compliance with the first and second security policies guaranteeing data management and/or computer program execution in accordance with the security property (P); and

a trust base (TCB) guaranteeing, in the absence of violation, the application of the second security policies (PSB) in the management of the data and/or the execution of the programs in the second execution space (B),

wherein the trust base comprises:

a hardware part having observers indicating unauthorised access,

wherein the trust base comprises a hardware security module comprising the hardware part of the trust base, and

a software part, the software part being made available to the user and/or to a representative of the user and/or to a third party trusted by the user,

wherein the observers indicating unauthorised access are visible to the user and/or the representative of the user and/or the third party trusted by the user,

wherein means are provided to the user to enable the user to be convinced that all of the execution paths of the software part of the trust base guarantee compliance with the second security policies, under normal operating conditions,

wherein the architecture further includes a hardware part of the trust base forming an additional security module (BTA), the additional security module being disposed at the entrance of a subset of servers and having means for filtering data packets entering the subset, the filtration including checking up that the data packets comply with a security policy.

2. The architecture according to claim 1 , wherein the hardware security module enables the user to select a certifier to represent the user.

3. The architecture according to claim 1 , wherein a manner of rebuilding the software part of the trust base is provided or made available to the user and/or to the representative of the user and/or to the third third party trusted by the user.

4. The architecture according to claim 1 , wherein a software core of the hardware security module has been formally proven.

5. The architecture according to claim 1 , comprising an infrastructure comprising the subset which comprises one or several physical server(s) forming the space (B), wherein a hardware part and/or the software base of the trust base forming box(es) (BT) is/are associated to the servers.

6. The architecture according to claim 1 , wherein the hardware part of the trust base is provided or made available to the user and/or to the representative of the user and/or to the third party trusted by the user.

7. A method of securing a cloud computing architecture, the method comprising:

providing a first execution space (A) for data management and/or computer program execution in which the management of the data and/or the execution of the programs is/are controlled by a user;

providing a second execution space (B) for computer program execution in which the management of the data and/or the execution of the programs is/are controlled by a third-party operator;

applying first security policies (PSA) to the data and/or to the execution of the programs in the first execution space (A);

applying second security policies (PSB) to the data and/or to the execution of the programs in the second execution space (B);

defining a security property (P) expected by the user, compliance with the first (PSA) and second (PSB) security policies guaranteeing data management and/or computer program execution in accordance with the security property (P);

providing a trust base (TCB) guaranteeing the application of the second security policies (PSB) in the management of the data and/or the execution of the programs in the second execution space (B),

wherein the trust base comprises:

a hardware part having observers indicating unauthorised access,

wherein the trust base comprises a hardware security module comprising the hardware part of the trust base, the hardware part of the trust base forming an additional security module (BTA), the additional security module being disposed at the entrance of a subset of servers and having means for filtering data packets entering the subset, the filtration including checking up that the data packets comply with a security policy, and

a software part, the software part being made available to the user and/or to a representative of the user and/or to a third party trusted by the user,

wherein the observers indicating unauthorised access are visible to the user and/or the representative of the user and/or the third party trusted by the user;

and wherein

wherein the management of the data and/or the execution of the programs performed by the user at least in part in the second execution space (B) is/are deemed to meet the security property (P) expected by the user, if the observers indicating access remain blank,

and wherein means are provided to the user to enable the user to be convinced that all of the execution paths of the software part of the trust base guarantee compliance with the second security policies, under normal operating conditions.

8. The method according to claim 7 , wherein the software part of the trust base and the manner of rebuilding the software part of the trust base are provided or made available in its entirety to the user and/or to the representative of the user and/or to the third-party trusted by the user.

9. The architecture according to claim 2 , wherein a manner of rebuilding the software part of the trust base is provided or made available to the user and/or to the representative of the user and/or to the third party trusted by the user.

10. The architecture according to claim 8 , wherein a manner of rebuilding the software part of the trust base is provided or made available to the user and/or to the representative of the user and/or to the third party trusted by the user.

11. The architecture according to claim 2 , wherein a software core of the hardware security module has been formally proven.

12. The architecture according to claim 3 , wherein a software core of the hardware security module has been formally proven.

13. The architecture according to claim 2 , comprising an infrastructure comprising a subset which comprises one or several physical server(s) forming the space (B), wherein a hardware part and/or the software base of the trust base forming box(es) (BT) is/are associated to the servers.

14. The architecture according to claim 3 , comprising an infrastructure comprising a subset which comprises one or several physical server(s) forming the space (B), wherein a hardware part and/or the software base of the trust base forming box(es) (BT) is/are associated to the servers.

15. The architecture according to claim 4 , comprising an infrastructure comprising a subset which comprises one or several physical server(s) forming the space (B), wherein a hardware part and/or the software base of the trust base forming box(es) (BT) is/are associated to the servers.

16. The architecture according to claim 3 , wherein providing or making available the manner of rebuilding the software part of the trust base to the user and/or to the representative of the user and/or to the third party trusted by the user include providing or making available a source code and/or a compiler and/or generators used in rebuilding the software part of the trust base.

Assignments (2)

Priority Claims (2)

Continuity (1)

References Cited (17)