Protocol Framework Research Articles

Design and Implementation of Wireless Sensor Network Re-encryption Protocol Based on Key Distribution

Since its introduction, wireless sensor networks (WSNs) have been the focus of researchers and have a wide range of applications, some of which involve sensitive and confidential information, which has caused security problems. Due to limitations in memory, energy, and computing power of wireless sensor networks, adding appropriate security to sensor nodes poses a barrier. This paper introduces a new security encryption protocol framework for wireless sensor network. The implementation of this framework will provide effective security for sensor nodes and we prove the effectiveness and superiority of the proposed framework compare with existing research.

Factors That Explain the Utilization of the Nagoya Protocol Framework for Access and Benefit Sharing

One of the primary concerns of countries with high levels of biodiversity is the conservation of species and natural environments. This prioritization is based in part on a recognition of the importance of ecosystem services, understood as the various benefits that humans derive from ecosystems, which may be developed into goods and services that are transacted in markets. The Nagoya Protocol is an international agreement whose purpose is to provide a framework under which countries can support biodiversity conservation by regulating access to native genetic materials. Such materials may be of interest to companies, organizations, and institutions for commercial, non-commercial, or both purposes. Furthermore, genetic resources constitute important inputs in numerous industries, including those in the pharmaceutical, biotechnology, botany and horticultural, agricultural, personal hygiene and cosmetics, and food and beverage sectors. The present study explores whether there is a relationship between biodiversity, the implementation of systems to protect natural areas and the quality of institutions, and the utilization of the Nagoya Protocol framework in individual countries. A Probit model was estimated to test these relationships, and a Canonical Correspondence Analysis (CCA) was conducted to identify whether the aforementioned factors explain the execution of access and benefit sharing (ABS) agreements, as measured through the lodging of Internationally Recognized Certificates of Compliance (IRCC) in the Access and Benefit-Sharing Clearing-House (ABSCH) of the Convention on Biological Diversity. The findings indicated that biodiversity conservation policies, specifically the designation of protected natural areas, are important factors that might motivate actors in Nagoya Protocol member countries to utilize the protocol system. The CCA also revealed that the quality of institution factors such as the protection of property rights, the efficiency of legal frameworks for dispute resolution, investor protection, and a low government regulation burden. also help to explain the utilization of ABS agreements.

On IoT applications: a proposed SDP framework for MQTT

In this work, the software-defined perimeter (SDP) is considered for the Message Queuing Telemetry Transport (MQTT) protocol framework in the Internet of Things (IoT) applications. In fact, the SDP provides an additional layer of security with or without SSL/TLS by replacing the traditional login method (username/password) with a single-packet authorisation (SPA) process. This will blacken the end devices, by cloaking and causing them to be inaccessible by attackers. Consequently, this prevents the log-in information from being compromised in the absence of encryption. Eventually, the framework is evaluated through an implementation testbed and system proved to be secure against denial of service active and off-line dictionary types of attacks, even with the use of weak login credentials. All the while, achieving measurable efficiency over the traditional use of MQTT.

Enhanced recovery after surgery in intramedullary and extramedullary spinal cord lesions: perioperative considerations and recommendations.

Enhanced recovery after surgery (ERAS) is an evidence-based approach developed to ameliorate the patient recovery process following surgical procedures. Employing a multimodal, multidisciplinary approach, ERAS implements strategies and treatment paradigms that have been shown to improve patient outcomes, reduce hospital length of stay, and ultimately reduce healthcare costs. With a substantial body of the literature supporting the implementation of ERAS in other surgical specialties, ERAS has only recently made its foray into spine surgery. Despite this, current studies are limited to spinal deformity and degenerative disease, with limited data regarding spinal cord surgery. This is due in part to the complex nature and rarity of spinal cord lesions, making the establishment of a formal ERAS protocol difficult. In developing an ERAS protocol, there must be a consensus on what factors are important to consider and implement. To address this, we reviewed the most recent advances in intramedullary and extramedullary spinal cord surgery in order to identify elements that influence patient outcomes. Using this information, the authors provide evidence-based recommendations with the intent of introducing a framework for future ERAS protocols with respect to treating spinal cord lesions.

An optimization framework for routing protocols in VANETs: a multi-objective firefly algorithm approach

With Automobiles becoming the main form of transportation adopted in all parts of the world, it has become a necessity to develop useful applications providing safety and entertainment by harnessing the communication between the vehicles. Vehicular adhoc networks (VANET) forms the backbone for efficiently communicating among the vehicles. VANETs on the downside do not have a stable topology and has frequent network disconnections due to its high mobility. Taking all these factors into consideration, designing and implementing VANET routing protocols is a challenge. The proposed framework depends on the use of network resources to further reflect the current system condition and adjust the arrangement between continuous network topology changes and the QoS needs. It consists of three stages: The VANET scenario generator for creating network road and traffic scenarios, formulating the weighted cost function, and finally the optimization phase to identify the optimized configuration based on the weighted cost function formulated. The proposed approach (FA-OLSR) was simulated and the simulation results revealed and improved Packet Delivery Ratio, Mean Routing Load, and End-to-End Delay.

Intensional Protocols for Dynamic Epistemic Logic

In dynamical multi-agent systems, agents are controlled by protocols. In choosing a class of formal protocols, an implicit choice is made concerning the types of agents, actions and dynamics representable. This paper investigates one such choice: An intensional protocol class for agent control in dynamic epistemic logic (DEL), called ‘DEL dynamical systems’. After illustrating how such protocols may be used in formalizing and analyzing information dynamics, the types of epistemic temporal models that they may generate are characterized. This facilitates a formal comparison with the only other formal protocol framework in dynamic epistemic logic, namely the extensional ‘DEL protocols’. The paper concludes with a conceptual comparison, highlighting modeling tasks where DEL dynamical systems are natural.

Psychosocial and community assessment of relatives of victims of extra-judicial killings in Peru: Informing international courts.

During the Peruvian internal armed conflict, fifteen members of the Santa Barbara community were collectively executed by state agents, and their relatives were made victims of persecution, torture, and imprisonment. The case, known as the Santa Barbara massacre, was brought to the Inter-American Court of Human Rights. The documentation of individual, family and community impacts for the Court became a challenge due to the need to address cultural, geographical, political and community aspects. This paper aims to discuss the complexities of forensic documentation of human rights violations using a psychosocial and communitarian background. The assessment included seven survivors from three different families. Both qualitative and quantitative instruments were used. A participative action research framework guided the design, documentation process, and discussion of outcomes with the survivors. Results/ discussion: The report included four levels of documentation exhibited in the Istanbul Protocol framework: clinical impacts from a western perspective, emic formulations and cultural idioms of distress, communitarian perspectives, and a proposal of reparation measures for the Court. Individual analysis revealed chronic mental health sequelae of forced displacement, imprisonment and torture. Local idioms of distress (in Quechuan, "pinsamientuwan," "llaki," "ñakary," "umananay" and "iquyay") deepened the understanding of the damage faced by the survivors. The analysis of the community uncovered three main areas of collective damage: broken social and cultural identity, lack of political participation, and loss of perspective on the future. Regarding reparations, survivors highlighted the pursuit for justice, the dignified remembrance of their loved ones, social re-inclusion of displaced persons into the community, education for offspring, and measures for the preservation of their community's identity and culture. Psycholegal accompaniment for victims through a participatory research approach is essential for the proper documentation of the consequences of violence in complex contexts. It is also essential in guaranteeing that the forensic documentation of the impact of political violence can be proposed as reparative for the survivors in itself.

Statistical correlations between locally randomized measurements: A toolbox for probing entanglement in many-body quantum states

We develop a general theoretical framework for measurement protocols employing statistical correlations of randomized measurements. We focus on locally randomized measurements implemented with local random unitaries in quantum lattice models. In particular, we discuss the theoretical details underlying the recent measurement of the second R\'{e}nyi entropy of highly mixed quantum states consisting of up to $10$ qubits in a trapped-ion quantum simulator [Brydges et al., Science 364, 260 (2019)]. We generalize the protocol to access the overlap of quantum states, prepared sequentially in an experiment. Furthermore, we discuss proposals for quantum state tomography based on randomized measurements within our framework and the respective scaling of statistical errors with system size.

Pediatric resuscitation: Weight-based packed red blood cell volume is a reliable predictor of mortality.

The definition of massive transfusion (MT) in civilian pediatric trauma patients is not established. In combat-injured pediatric patients, the definition of MT is based on the volume of total blood products transfused. The aim of this study is to define MT in civilian pediatric trauma patients based on a packed red blood cell (PRBC) volume threshold and compare its predictive power to a total blood products volume threshold. An analysis of the pediatric American College of Surgeons Trauma Quality Improvement Program database was performed (2014-2016) including pediatric trauma patients (4-18 years) who received blood products within 24 hours. Receiver operator characteristic curves for predicting mortality determined the optimal PRBC MT threshold. Area under receiver operating characteristic curve (AUROC) curve analysis was performed to compare the predictive power of a PRBC threshold to a total blood product threshold. A total of 1,495 patients were included. Sensitivity and specificity for 24-hour and in-hospital mortality were optimal at a PRBC threshold of 20 mL/kg. As compared with total blood products threshold, 20 mL/kg PRBCs volume achieved higher discriminatory power for predicting 24-hour (AUROC, 0.803 vs. 0.672; p < 0.001) and in-hospital mortality (AUROC, 0.815 vs. 0.686, p < 0.001). Patients who received an MT had higher Injury Severity Score (p < 0.001) and were more likely to receive mechanical ventilation (p < 0.001) and intensive care unit admission (p < 0.001). Overall 24-hour mortality (23.1% vs. 7.6%, p < 0.001) and in-hospital mortality (44.9% vs. 15.8%, p < 0.001) were higher in the MT group. On regression analysis, MT significantly predicted in-hospital mortality (odds ratio, 3.8 [2.9-4.9, 95% CI]) and 24-hour mortality (odds ratio, 3.3 [2.4-4.7, 95% CI]). The use of a PRBCs MT definition in civilian pediatric patients is a better predictor of mortality compared with total blood products threshold. These results provide a framework for MT protocol development. Prognostic study, level III.

The national tourism carbon emission inventory: its importance, applications and allocation frameworks

A credible national tourism emission inventory is a key to the effective carbon management of tourism activities. Currently, there are no guidelines that define the scope and boundaries for evaluating national tourism emissions and great variations exist in research methodologies, leading to confusion and misuse of these measures. This study compares four accounting frameworks, the Production Accounting Principle (PAP), the Kyoto Protocol Framework (KPF), the Consumption Accounting Principle (CAP) and the Tourism Satellite Account Principle (TSAP), for their concepts, calculations, attributions of responsibility and applications in serving different carbon management purposes. We argue that the TSAP inventory is the best framework to calibrate the full-scale environmental externality concerning internal tourism consumption; the PAP inventory is a comprehensive measure for monitoring territorial emissions and forms a base to apply abatement policies toward domestic producers, and the TSAP, PAP and CAP are all valid indicators that monitor the trade-off between economic output and GHGs. A case study of Taiwan is presented.

A Generic Framework for Accountable Optimistic Fair Exchange Protocol

Optimistic Fair Exchange protocol was designed for two parties to exchange in a fair way where an arbitrator always remains offline and will be referred only if any dispute happens. There are various optimistic fair exchange protocols with different security properties in the literature. Most of the optimistic fair exchange protocols satisfy resolution ambiguity where a signature signed by the signer is computational indistinguishable from the one resolved by the arbitrator. Huang et al. proposed the first generic framework for accountable optimistic fair exchange protocol in the random oracle model where it possesses resolution ambiguity and is able to reveal the actual signer when needed. Ganjavi et al. later proposed the first generic framework in the standard model. In this paper, we propose a new generic framework for accountable optimistic fair exchange protocol in the standard model using ordinary signature, convertible undeniable signature, and ring signature scheme as the underlying building blocks. We also provide an instantiation using our proposed generic framework to obtain an efficient pairing-based accountable optimistic fair exchange protocol with short signature.

Multi-Level Two-Sided Rating Protocol Design for Service Exchange Contest Dilemma in Crowdsensing

Strategic users in a service exchange application of crowdsensing are apt to exhibit malicious behaviors such as greed, free-ride, and attack, resulting in the phenomenon that no user is willing to serve others and low social utility is obtained in myopic equilibrium, which is considered as a service exchange contest dilemma. To address this issue, we propose a game-theoretic framework of multi-level two-sided rating protocol using all-pay contests to balance service request and service provision between users, in which a user is tagged with a multi-level rating to represent her social status, and she is encouraged to take the initiative to be a server and provide high-quality services to increase her rating. The two-sided rating update rule updates the ratings of both service requesters and service providers, and thus no one can always get services without providing services. By quantifying necessary and sufficient conditions for a sustainable multi-level two-sided rating protocol, we formulate the problem of selecting the optimal design parameters to maximize the social utility among all sustainable multi-level two-sided rating protocols, and design a low-complexity algorithm to select optimal design parameters via a two-stage procedure in an alternate manner. Finally, the extensive evaluation results demonstrate how intrinsic parameters impact on recommended strategies, design parameters, as well as the performance gain of the proposed rating protocol.

Key Prediction Security of Keyed Sponges

The keyed sponge is a well-accepted method for message authentication. It processes data at a certain rate by sequential evaluation of an underlying permutation. If the key size k is smaller than the rate, currently known bounds are tight, but if it exceeds the rate, state of the art only dictates security up to 2k/2. We take closer inspection at the key prediction security of the sponge and close the remaining gap in the existing security analysis: we confirm key security up to close to 2k, regardless of the rate. The result impacts all applications of the keyed sponge and duplex that process at a rate smaller than the key size, including the STROBE protocol framework, as well as the related constructions such as HMAC-SHA-3 and the sandwich sponge.

Key Prediction Security of Keyed Sponges

The keyed sponge is a well-accepted method for message authentication. It processes data at a certain rate by sequential evaluation of an underlying permutation. If the key size k is smaller than the rate, currently known bounds are tight, but if it exceeds the rate, state of the art only dictates security up to 2k/2. We take closer inspection at the key prediction security of the sponge and close the remaining gap in the existing security analysis: we confirm key security up to close to 2k, regardless of the rate. The result impacts all applications of the keyed sponge and duplex that process at a rate smaller than the key size, including the STROBE protocol framework, as well as the related constructions such as HMAC-SHA-3 and the sandwich sponge.

157. Verification of high dose delivery in radiosurgery management of brain functional disorders

Purpose The purpose of this study is to validate the use of an innovative detector (edgeless-diode) [1] to measure the dose delivered in stereotactic radiosurgery for brain functional disorders. Methods Three diodes were inserted in a Rando phantom in ‘trigeminal’, 8 mm cranial and 26 mm caudal positions. In the framework of a dose escalation protocol, a trigeminal target patient’s plan was properly optimized. The diode coincident with the PTV-position was prescribed at doses respectively of 75, 100, 140 and 200 Gy in one single fraction. In the 75 Gy delivery case an EBT3 film was placed in correspondence with the caudal diode position and a prescription dose of 12 Gy was imposed in order to validate the diode’s recorded value. After the escalation of the dose, quality-assurance (QA) verifications were also performed for three patient planes with different prescription doses and placing the central diode in correspondence with the trigeminal target. Finally, the dose values measured by the three diodes were compared to the planned ones. Results The Rando plan and patient QA results are summarized in the following table. Comparison of the dose values from the edgeless-diode with EBT3 film shows a difference of −4.6%. Conclusions The edgeless-diode detectors were employed to measure the dose distribution of a full trigeminal stereotactic treatment; they record values of the dose in the central part of the PTV within 4% of the planned value for seven different plans. The verification of the value corresponding to a caudal position of the Rando-plan scaled at 75 Gy by EBT3 films shows a difference smaller than 5% in comparison with the edgeless-diode. The edgeless-diode employment in functional treatments QA procedures seems promising.

A Formal Specification and Verification Framework for Timed Security Protocols

Nowadays, protocols often use time to provide better security. For instance, critical credentials are often associated with expiry dates in system designs. However, using time correctly in protocol design is challenging, due to the lack of time related formal specification and verification techniques. Thus, we propose a comprehensive analysis framework to formally specify as well as automatically verify timed security protocols. A parameterized method is introduced in our framework to handle timing parameters whose values cannot be decided in the protocol design stage. In this work, we first propose timed applied p-calculus as a formal language for specifying timed security protocols. It supports modeling of continuous time as well as application of cryptographic functions. Then, we define its formal semantics based on timed logic rules, which facilitates efficient verification against various authentication and secrecy properties. Given a parameterized security protocol, our method either produces a constraint on the timing parameters which guarantees the security property satisfied by the protocol, or reports an attack that works for any parameter value. The correctness of our verification algorithm has been formally proved. We evaluate our framework with multiple timed and untimed security protocols and successfully find a previously unknown timing attack in Kerberos V.

A Phenomenological Analysis of the Spiritual Support Services in State Hospitals: The Case of Turkey.

The purpose of this research is to examine the core and nature of spiritual support services experienced by Turkey's pioneer spiritual support specialists (SSSs). A phenomenological approach was used in this qualitative research in which six males, two females, and eight SSSs participated. It has been seen that as a result of face-to-face interviews with participants within the framework of the semi-structured interview protocol, the spiritual support service has been experienced as a process which changes the perception of life. In participants' experience, spiritual support has a deeper and more positive impact than other psychosocial services. Research findings show the need for a more dynamic education process based on psychology and social sciences to enhance effective communication and interviewing skills.

Emergence of a fluctuation relation for heat in nonequilibrium Landauer processes

In a generalized framework for the Landauer erasure protocol, we study bounds on the heat dissipated in typical nonequilibrium quantum processes. In contrast to thermodynamic processes, quantum fluctuations are not suppressed in the nonequilibrium regime and cannot be ignored, making such processes difficult to understand and treat. Here we derive an emergent fluctuation relation that virtually guarantees the average heat produced to be dissipated into the reservoir either when the system or reservoir is large (or both) or when the temperature is high. The implication of our result is that for nonequilibrium processes, heat fluctuations away from its average value are suppressed independently of the underlying dynamics exponentially quickly in the dimension of the larger subsystem and linearly in the inverse temperature. We achieve these results by generalizing a concentration of measure relation for subsystem states to the case where the global state is mixed.

Pulse-level beam-switching for terahertz networks

Communication in Terahertz (THz) band is envisioned as a promising technology to meet the ever-growing data rate demand, and to enable new applications in both nano-scale and macro-scale wireless paradigms. In this study, we propose the first system-level design that is suitable for THz communication in macro-scale range with 100+ Gbps data rate. The design is based on the proposed terahertz pulse-level beam-switching with energy control (TRPLE), and motivated by the rise in Graphene-based electronics, which include not only compact generator and detector for pulse communication, but also the capability of beam scanning aided with nano-antenna-arrays. The very high path loss seen in THz wireless channel requires the use of narrow beam to reach longer transmission ranges. On the other hand, impulse radio that emits femtosecond-long pulses allows the beam direction to steer at pulse-level, rather than at packet-level. For TRPLE, we mathematically analyze the data rate for an arbitrary wireless link under the THz channel characteristics and the energy modulation scheme. Then, a novel optimization model is formulated to solve the parameters of the inter-pulse separation and the inter-symbol separation, in order to maximize the data rate while meeting the interference requirement. With the optimization, the data rate of 167 Gbps is shown achievable for most users in 20-m range. A MAC protocol framework is then presented to harness the benefits of the pulse separation optimization.

A Conceptual Framework Encompassing the Psychoneuroimmunoendocrinological Influences of Listening to Music in Patients With Heart Failure.

Patients with heart failure have been traditionally treated with a pharmacology-based approach, diet, exercise, and rehabilitation for reducing symptoms, hospitalizations, and mortality. We have developed a solid conceptual framework for music listening-based protocols, showing how music may have a broad range of positive effects on cardiovascular health through psychoneuroimmunoendocrinological pathways.