A systematic approach to integrate common timed security rules within a TEFSM-based system specification

Context

Formal methods are very useful in the software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and modeling of various system aspects expressed usually through different paradigms. These different formalisms make the verification of global developed systems more difficult.

Objective

In this paper, we propose to combine two modeling formalisms, in order to express both functional and security timed requirements of a system to obtain all the requirements expressed in a unique formalism.

Method

First, the system behavior is specified according to its functional requirements using Timed Extended Finite State Machine (TEFSM) formalism. Second, this model is augmented by applying a set of dedicated algorithms to integrate timed security requirements specified in Nomad language. This language is adapted to express security properties such as permissions, prohibitions and obligations with time considerations.

Results

The proposed algorithms produce a global TEFSM specification of the system that includes both its functional and security timed requirements.

Conclusion

It is concluded that it is possible to merge several requirement aspects described with different formalisms into a global specification that can be used for several purposes such as code generation, specification correctness proof, model checking or automatic test generation. In this paper, we applied our approach to a France Telecom Travel service to demonstrate its scalability and feasibility.     

A Taguchi design approach for the enhancement of a detergent-biocompatible alkaline thermostable protease production by Streptomyces mutabilis strain TN-X30

The ability of microorganisms to grow at high temperature, alkaline pH, and high salinity makes them an attractive target for enzyme-production with several industrial applications. One strain TN-X30 has been selected as protease producer and identified as Streptomyces mutabilis after a phenotypic and molecular study. Its production of protease was improved using Taguchi L27 design. The strategy was carried out to identify the optimum levels and the interaction of the screened factors. Following this step, maximum protease activity (10,895 U/ml) was achieved after 6-days of incubation. The TN-X30 protease activity had an optimum of pH and temperature of 10 and 65°C, respectively. Thermodynamic parameters at 60°C were enthalpy 14.26 kJ/mol, entropy −220 J/mol/K, and Gibbs free energy 90.53 kJ/mol. TN-X30 protease production displayed a 16-fold increase reaching 175,000 U/ml in a 100-L fermentor. Furthermore, the lyophilization in presence of sorbitol enhanced the stability of the TN-X30 protease which remained active at 75% after 24-months of storage. The lyophilized TN-X30 protease exhibited exceptional stability indexes in presence of some known commercialized detergent components as NEODOL® 25-7, Dehydol® LT 7, Na₂ CMC, Galaxy LAS, Galaxy LES 70, Galaxy 110, Galaxy CAPB Plus, and Sulfacid K. The lyophilized enzyme also displayed high stability with respect to both solid and liquid detergents. Finally, TN-X30 protease exhibited remarkable destaining of blood, egg, and chocolate stained cloth pieces. These findings may promote TN-X30 protease for use as bioadditive in detergent formulation, thereby reducing environmental chemical threat.     

Surface Activities, Foam Properties, HLB, and Krafft Point of Some n-Alkanesulfonates (C14–C18) with Different Isomeric Distributions

A homologue series of sodium secondary n-alkanesulfonates (C₁₄, C₁₆ and C₁₈) were obtained by photosulfochlorination process with two different reaction conditions. Different length chains with different isomeric distributions of n-alkanesulfonates are expected to present variations in physicochemical properties. In this investigation, the relationships between their isomeric distribution and their chain length and micellar behaviors were thoroughly explored. Their CMC at different temperatures were determined using specific conductivity and surface tension measurements. Through surface tension isotherms, the surface activities (??_CMC) were obtained. The surface absorption amounts (??_max) and the molecular areas (A _min) were calculated using Gibb??s equation. As expected, these surfactants exhibit good surface properties. It was shown that the CMC values increase with increasing the percentage of secondary isomers, with a surface tension decrease. It was also shown that the CMC values decrease with increasing chain length. The HLB values were calculated for each surfactant and the results obtained suggest that they are O/W emulsifiers. The foam properties of synthesized surfactants were evaluated and compared to those obtained for commercial samples. It was shown that the foamability is influenced both by the length of the hydrophobic moiety and the percentage of secondary isomers. It can be easily concluded that the C₁₄ sulfonates show the best foaming properties independently of their isomeric distribution. The Krafft point values obtained indicate that the micellization and the surfactant solubility mainly depend on the proportion of secondary isomers and the length of hydrophobic moiety.     

Physiological and biochemical markers in the process of resistance and/or tolerance of heavy metals in the abandoned mining area of Sidi Kamber,Skikda, Algeria

This paper reports the biomonitoring of metallic pollution in the mine of Sidi Kamber Skikda town, to determine the resistance and/or tolerance to Zn, Pb, Cd and Cu in metalliferous plants. During the period of March–May, 2015, soil and plants samples were collected from three different stations in the study area. The total heavy metal fraction was determined by ICP/MS, whereas biochemical markers were determined by spectrophotometric techniques. The results obtained showed high levels of heavy metals in soil and plants compared to international standards. The translocation factor revealed that the studied plants can transfer and/or accumulate metals in their roots or their aerial parts as a function of characteristics of each metal, soil contents and physiological role in the plant. The contents of chlorophyll, proline, total sugars and total proteins are directly influenced by changes in bioavailable contents of heavy metals. It has been found that the plants studied and biomarkers are better suited for phytoremediation and biomonitoring of heavy metals pollution.     

Nanodispersions stabilized by β-cyclodextrin nanosponges: application for simultaneous enhancement of bioactivity and stability of sage essential oil

The aim of this work was to stabilize oil-in-water nanoemulsion containing sage (salvia officinalis) essential oil, for enhancing its physicochemical stability and enlarging its industrial applications. New β-cyclodextrin nanosponges were synthesized by polycondensation using naphthalene dicarboxylic acid as cross-linking agent, the latter system was characterized by FTIR spectroscopy, SEM, BET, and powder XRD. Nanoemulsions stabilized by free β-cyclodextrin or nanosponges were prepared, their physicochemical properties were determined (particles size, zeta potential, viscosity, turbidity, and essential oil content) and their stability was studied at different storage temperatures (4?°C, 20?°C, and 40?°C) during 3?months. Pharmaceutical application of prepared nanoemulsions was investigated in vitro by dissolution test study and in vivo by their antidiabetic activity evaluation in rats. Sage essential oil nanoemulsion stabilized by β-cyclodextrin-naphthalene dicarboxylic acid nanosponges presents very high stability and promising uses in pharmaceutical industry.     

Effect of Sodium Carbonate on the Cloud Point in Alkyl Ether/Brine Systems: Apparent Relation with Dynamic Interfacial Tension Minimum

The effect of Na₂CO₃ on the cloud point in Na₂CO₃/surfactant/brine was investigated using two series of nonionic surfactants, C₁₃EO _x and C₁₇EO _x . The cloud point, T _cp, was found to decrease linearly with increasing Na₂CO₃ concentration. This was attributed to Na⁺ and particularly to CO₃ ^2?salting-out effect. The slope a = dTcp/d[Na₂CO₃] became more and more negative as the degree of ethoxylation is increased, suggesting that the higher the number of ethylene oxide (EO) groups the stronger is the cloud point depression for a given increment in Na⁺and CO₃ ^2?ions in solution. This was also illustrated by the linear variation of ΔT _cp = T _cp,0 ? T _cp,[Na2CO3] with the surfactant degree of ethoxylation.     

Edge Computing Platform with Efficient Migration Scheme for 5G/6G Networks

Next-generation cellular networks are expected to provide users with innovative gigabits and terabits per second speeds and achieve ultra-high reliability, availability, and ultra-low latency. The requirements of such networks are the main challenges that can be handled using a range of recent technologies, including multi-access edge computing (MEC), artificial intelligence (AI), millimeter-wave communications (mmWave), and software-defined networking. Many aspects and design challenges associated with the MEC-based 5G/6G networks should be solved to ensure the required quality of service (QoS). This article considers developing a complex MEC structure for fifth and sixth-generation (5G/6G) cellular networks. Furthermore, we propose a seamless migration technique for complex edge computing structures. The developed migration scheme enables services to adapt to the required load on the radio channels. The proposed algorithm is analyzed for various use cases, and a test bench has been developed to emulate the operator’s infrastructure. The obtained results are introduced and discussed.     

Effects of Multiple Stacking Faults on the Electronic and Optical Properties of Armchair MoS$$_{}$$ Nanoribbons: First-Principles Calculations

The electronic and optical properties of armchair MoS\(_{2}\) nanoribbons with multiple stacking faults are investigated using first-principles calculations. It’s interesting that the band gaps approach zero for armchair MoS\(_{2}\) nanoribbons with two and four stacking faults. The gaps of armchair MoS\(_{2}\) nanoribbons with one stacking fault and three stacking faults are converged to 0.46 eV and 0.36 eV, respectively, which is smaller than perfect MoS\(_{2}\) nanoribbons. The partial charge density of armchair MoS\(_{2}\) nanoribbons with two stacking faults shows that the defect levels are originated from stacking faults. The frequency-dependent optical response (dielectric function, absorption, reflectance and electron energy loss spectra) is also presented. The optical results of monolayer MoS\(_{2}\) are in agreement with previous study. The peaks in the imaginary part of perfect armchair MoS\(_{2}\) nanoribbons are about 2.8 eV, 4.0 eV and 5.4 eV and the peaks of the imaginary part of armchair MoS\(_{2}\) nanoribbons with stacking faults are mainly 2.8 eV and 5.4 eV. They are independent of ribbon width. The peaks in electron energy loss spectra move toward larger wavelengths (redshift) due to the introduction of stacking faults.     

Dynamic and scalable multi-level trust management model for Social Internet of Things

The Internet of Things (IoT) is a paradigm that has made everyday objects intelligent by offering them the ability to connect to the Internet and communicate. Integrating the social component into IoT gave rise to the Social Internet of Things (SIoT), which has helped overcome various issues such as heterogeneity and navigability. In this kind of environment, participants compete to offer a variety of attractive services. Nevertheless, some of them resort to malicious behaviour to spread poor-quality services. They perform so-called Trust-Attacks and break the basic functionality of the system. Trust management mechanisms aim to counter these attacks and provide the user with an estimate of the trust degree they can place in other users, thus ensuring reliable and qualified exchanges and interactions. Several works in literature have interfered with this problem and have proposed different Trust-Models. The majority tried to adapt and reapply Trust-Models designed for common social networks or peer-to-peer ones. That is, despite the similarities between these types of networks, SIoT ones present specific peculiarities. In SIoT, users, devices and services are collaborating. Devices entities can present constrained computing and storage capabilities, and their number can reach some millions. The resulting network is complex, constrained and highly dynamic, and the attacks-implications can be more significant. In this paper, we propose DSL-STM a new dynamic and scalable multi-level Trust-Model, specifically designed for SIoT environments. We propose multidimensional metrics to describe and SIoT entities behaviours. The latter are aggregated via a Machine Learning-based method, allowing classifying users, detecting attack types and countering them. Finally, a hybrid propagation method is suggested to spread trust values in the network, while minimizing resource consumption and preserving scalability and dynamism. Experimentation made on various simulated scenarios allows us to prove the resilience and performance of DSL-STM.

     

Structural analytical and electrical conduction mechanisms of 2,7,12,17-tetra-tert-butyl-5,10,15,20-tetraaza-21H,23H-porphine nanostructure films

The 2,7,12,17-tetra-tert-butyl 5,10,15,20-tetraaza-21,23H-porphine (TTBTP) films were prepared using thermal evaporation technique. The X-ray diffraction (XRD) of the powder showed that TTBTP is polycrystalline with a tetragonal system. Also, the analysis of XRD pattern shows that the TTBTP film of thickness 55 nm has a crystallite size of 24.69 nm which tends to increase with the film thickness. By SEM of 177 nm thick TTBTP film, the topography of the surface is characterized by significant spherical granules. The mean diameter was estimated to be 250 nm for the spherical granules. It was observed that the conductivity increases with increasing the film thickness. Also, the TTBTP is a semiconductor film with thermally activated conduction mechanisms. The current–density–voltage (J–V) characteristics showed Ohmic drives in low voltage, whereas the space charge limited conductivity mechanism is familiar in the high voltage region. The carrier mobility values of TTBTP film are relatively the same for other organic molecules. The 50 nm TTBTP film has a carrier mobility of 1.48?×?10^??9 cm² V^??1 s^??1, which increases with increasing the film thickness.