CoPS is an automatic checker of multilevel system security properties. CoPS can be used to check three different bisimulation-based non-interference properties for systems expressed as terms of the Security Process Algebra (SPA) language. The considered properties are persistent, in the sense that they are preserved at each execution step. Moreover, they imply the Bisimulation-based Non Deducib...

This review deals with recent progress on the development of nanocomposite materials formed by conducting organic polymers (COPs) and carbon nanotubes (CNs), both from a fundamental and applied point of view. The combination of the unique properties of CNs with COPs makes of these materials interesting multifunctional systems with great potential in many applications such as supercapacitors, se...

Challenges in infrastructure planning require public administrators, responsible for providing adequate facilities, to be adaptive. These organizations evolve and interact with other a complex organizational landscape. This paper explores the contribution of inter-organizational communities practice (CoPs) collective learning co-evolution planning. We conducted case study five CoPs domain typic...

This paper evaluates the performance of COPS over secure TLS and IPsec connections. For large size data, when we apply authentication and encryption, the throughput degrades compared with the throughput without authentication or encryption. COPS has native security mechanisms, but it also has limitations. As defined in RFC 2478, COPS includes no standard key management and no data privacy hop-b...

We determine the cop number of the hypercube for different versions of the game Cops and Robber. Cops and Robber is a two player game played on an undirected graph. One player controls some number of cops; the other player controls a single robber. In the standard game, the cops first choose some vertices to occupy, then the robber chooses a vertex; the players then alternate turns. On a turn, ...

Abstract Purpose A wide number of research efforts have been carried out over the last decades to assess and improve system sustainability. Different methods tools are increasingly implemented in product systems; nevertheless its application services other systems, which products combined, is rather limited. In this work, an approach sustainability systems composed (P + S systems) proposed two ...

We consider the effect on the length of the game of Cops and Robbers when more cops are added to the game play. In Overprescribed Cops and Robbers, as more cops are added, the capture time (the minimum length of the game assuming optimal play) monotonically decreases. We give the full range of capture times for any number of cops on trees, and classify the capture time for an asymptotic number ...

As Internet technology becomes more complex, the policy information for managing the Internet grows beyond the capability of a simple protocol like SNMP. IETF suggested COPS as an alternative, but it has not been widely accepted. For that reason, many administrators have developed network management systems which control network devices using CLI, but systems based on CLI have a maintenance pro...