We have analysed the well-known BAN modified Andrew Secure RPC authentication protocol by means of the AVISPA Web tool considering all the available back-ends and with the basic configurations of sessions. The protocol has been found vulnerable to a replay/mutation attack based on homomorphism by one of the back-ends. In order to fix it, we integrated into the protocol a common solution, includ...

The SAGE adviser and Wellcome Trust director tells Mun-Keat Looi how the UK government acted too slowly against pandemic, about perils of vaccine nationalism, why he is bullish controlling covid variants

‎In our paper [A‎. ‎B‎. ‎M‎. ‎Basheer and J‎. ‎Moori‎, ‎On a group of the form $2^{10}{:}(U_{5}(2){:}2)$] we calculated the inertia factors‎, ‎Fischer matrices and the ordinary character table of the split‎ ‎extension $ 2^{10}{:}(U_{5}(2){:}2)$ by means of Clifford-Fischer‎ ‎Theory‎. ‎The second inertia factor group of $2^{10}{:}(U_{5}(2){:}2)$‎ ‎is a group of the form $2_{-}^{1+6}{:}((3^{1+2}{...

In cognitive radio networks (CRNs), secondary users (SUs) may employ network coding to pursue higher throughput. However, as SUs must vacate the spectrum when it is accessed by primary users (PUs), the available transmission time of SUs is usually uncertain, i.e., SUs do not know how long the idle state can last. Meanwhile, existing network coding strategies generally adopt a block-based transm...

In this paper, the train scheduling problem is modelled as a Blocking Parallel-Machine JobShop-Scheduling (BPMJSS) problem. In the model, trains, single-track sections and multiple-track sections respectively are synonymous with jobs, single machines and parallel machines; and an operation is regarded as the movement/traversal of a train across a section. Due to the lack of buffer space, the re...

Geographic Profiling has successfully assisted investigations for serial crimes. Considering the multi-cluster feature of serial criminal spots, we propose a Multi-point Centrography model as a natural extension of Single-point Centrography for geographic profiling. K-means clustering is first performed on the data samples and then Single-point Centrography is adopted to derive a probability di...

The air infiltration through building envelope mainly depends on the doors and windows tightness considered by means of corresponding effective leakage areas pressure difference between exterior interior. Although standards provide simple methods to estimate parameters that control movement, significant differences in volumetric flow fresh are observed standardized most accurate traditional met...

PROSITE database contains a set of entries corresponding to protein families, which are used to identify the family of a protein from its sequence. Although patterns and profiles are developed to be very selective, each may have false positive or negative hits. Considering false positives as items that reduce the selectiveness of a pattern, then, the more selective pattern we have, a more accur...