## 3 Simple Resource Algorithm
### Advertising Cloud Formulation
The Cloud Management System (CMS), which supports a number of services, contacts the SMF to register the service. We applied the \"event begin and end function\" to verify whether the sessions started before the SMF started or not, and the result is \"True\". In the same way, the event begin and end functions are used to verify the server sessions. Table 5 shows that the SSP protocol is working fine. The results from ProVerif are displayed in Figure 11 in the Appendix A. Hence, this is a more secure mechanism for capability-based services. ### Queries for Private Keys

Queries for Private keys of Application, Cloud Management System, Service Management Framework and Server : _query attacker(sksmf); query attacker(skcms); query attacker(sksppl); query attacker(sks);_

* RESULT not attacker_skew(sksmf[]) is true. * RESULT not attacker_skew(skcmp[]) is true. * RESULT not attacker_skew(sksppl[]) is true. * RESULT not attacker_skew(skS[]) is true. #### 6.4.1 Queries for nonces

Queries for nonce between Server and application: _query attacker(SERVERNA); attacker(SERVERNB); attacker(APPLNB); attacker(APPLNA):_

* RESULT not attacker_bitstring_(SERVERNA[]) is true. * RESULT not attacker_bitstring_(SERVERNB[]) is true. #### 6.4.2 Queries for Symmetric key

Queries for Symmetric key : _query attacker(Ksappl); query attacker(SERVERk)_

* RESULT not attacker_key (Ksappl[m? = v_10131,m4 = v_10132,!1 = v_10133]) is true. * RESULT not attacker_bitstring (SERVERk[]) is true. #### 6.4.3 Queries for authentication of Server event and CMS event

Queries for Symmetric key : _query attacker(Ksappl); query attacker(SERVERk)_

* RESULT inj-event(endSERVERparam(x_24696)) \(\rightarrow\)

inj-event(beginSERVERparam(x_24696)) is true. * RESULT inj-event(endCMSparam(x_38772)) \(\rightarrow\)

inj-event(beginCMSparam(x_38772)) is true. * RESULT event(endCMSparam(x_42655)) \(\rightarrow\)

event(beginCMSparam(x_42655)) is true. \begin{table}
\begin{tabular}{c c c c c} \hline \hline
**Security Properties** & **CMF** & **SMF** & **SERVER** & **APPL** \\ \hline Private Keys & True & True & True & True \\ \hline Session Key & - & - & True & True \\ \hline Nonces & - & - & True & - \\ \hline Event Begin() & True & - & - & - \\ \hline Event end() & True & - & - & - \\ \hline inj-event begin() & - & - & True & - \\ \hline inj-event-end() & - & - & True & - \\ \hline \hline \end{tabular}
\end{table} 
Table 5: QUERY ATTACKER Results using ProVerif

## 7 Prototype Implementation

Using new mechanisms such as Capabilities, and a new Service Management Framework, this research has proposed a new Secure Service Protocol, which can be used to protect any service. The protocol has been verified using ProVerif. In this section, we explore the building of a prototype system. ### Basic Capability System Library (BCSL)

We developed our prototype system using the Basic Capability System Library (BCSL) as our foundation. This library, depicted in Figure 10, is part of the Base Layer of the Implementation Framework. It supports the creation of users, devices, and services and allows servers to be added to services. Each component has its capability, which is used to access other objects, such as files. Services are created and registered with the Service Management Layer (SManL). The BCSL created by the ALERT Team of Middlesex University, London, is a primary system that makes users, devices, services, and servers. These types are identified as CAP USER, CAP DEVICE, and CAP SERVICE as their Capability types, respectively. The middle layer is responsible for enhancement, tuning, mapping layers, and updates while the top layer focuses on system implementation. In this layer, our primary goal is to improve the Service Management Framework (SMF), so that it can securely replicate and migrate services. ### Make Fuzs Multithreaded

The FUSE and NMS servers store and manage the system's data. The NMS provides networked block storage. When a client moves to another network, the NMS is migrated to the new network to improve performance.