Results 51 to 60 of about 2,516,508 (290)

Types for security protocols

, 2011
We revise existing type-based analyses of security protocols by devising core type system for secrecy, integrity and authentication in the setting of spi-calculus processes. These fundamental security properties are usually studied independently.
Maffei, Matteo, Focardi, Riccardo
core   +1 more source

Social Functioning Within the First Years After Pediatric Brain Tumor Diagnosis and the Relationship With Family Psychosocial Risk

Pediatric Blood &Cancer, EarlyView.
ABSTRACT Background Survivors of pediatric brain tumors (PBTs) can experience long‐term social difficulties, impacting quality of life. Beyond medical and environmental factors, family psychosocial risk may play a role in social outcomes by shaping the caregiving environment and may provide intervention options.
Renske H. Houben, Marisa H. Huisman, Martha A. Grootenhuis, Femke K. Aarsen, Marita Partanen   +4 more
wiley   +1 more source

Enhancing Security in Vehicle-to-Vehicle Communication: A Comprehensive Review of Protocols and Techniques

Vehicles
Vehicle-to-vehicle (V2V) communication has played a pivotal role in modern intelligent transportation systems, enabling seamless information exchange among vehicles to enhance road safety, traffic efficiency, and overall driving experience.
Muhana Magboul Ali Muslam
doaj   +1 more source

Verification of authentication protocols for mobile satellite communication systems

Egyptian Journal of Remote Sensing and Space Sciences, 2014
In recent times, many protocols have been proposed to provide security for mobile satellite communication systems. Such protocols must be tested for their functional correctness before they are used in practice.
Reham Abdellatif Abouhogail
doaj   +1 more source

A Security Analysis Method of Security Protocol Implementation Based on Unpurified Security Protocol Trace and Security Protocol Implementation Ontology [PDF]

IEEE Access, 2019
The security analysis of Security Protocol Implementations(SPI) is an important part of cybersecurity. However, with the strength of property protection and the widely used applications of code obfuscation technology, the previous security analysis method based on SPI is hard to carry out.
Xudong He 0001, Jiabing Liu, Chin-Tser Huang, Dejun Wang, Bo Meng 0004   +4 more
openaire   +2 more sources

Establishing an Apheresis Medicine Program in a Resource‐Constrained Setting: A 5‐Year Experience From Lagos, Nigeria

Therapeutic Apheresis and Dialysis, EarlyView.
ABSTRACT Background Establishing a comprehensive apheresis medicine program in a resource‐constrained setting presents significant structural, financial, and logistical challenges. Despite the growing clinical importance of apheresis services globally, published experience from sub‐Saharan Africa remains sparse.
Folasade Adelekan‐Popoola, Shakirat Gold‐Olufadi, Olufunto Olufela Kalejaiye, Abdullateef Ogala, Rasheed A. Balogun   +4 more
wiley   +1 more source

Design and Analysis of the Security Assessment Framework for achieving Discrete Security Values in Wireless Sensor Networks

, 2008
The paper presents a ready-to-use security assessment framework for wireless sensor networks (WSNs). The parameters in the proposed security assessment framework perform independent security assessment of WSNs and of their applications.
Ashraf, A, Abdul Qadeer Khan Rajput, Marvi Mussadiq, Chowdhry, Bhawani S, Manzoor Hashmani, Hashmani, M, Gee, Quintin, Mussadiq, M, Quintin Gee, Bhawani S. Chowdhry, Rajput, A Q K, Adnan Ashraf   +11 more
core   +2 more sources

Integration of OWL Password-Authenticated Key Exchange Protocol to Enhance IoT Application Protocols

Sensors
The rapid expansion of the IoT has led to increasing concerns about security, particularly in the early stages of communication where many IoT application-layer protocols, such as CoAP and MQTT, lack native support for secure key exchange.
Yair Rivera Julio, Angel Pinto Mangones, Juan Torres Tovio, María Clara Gómez-Álvarez, Dixon Salcedo   +4 more
doaj   +1 more source

Security specification: completeness, feasibility, refinement [PDF]

, 2010
The formal methods and refinement community should be able to contribute to the specification and verification of security protocols. This talk describes a few of the essential differences, or problems.
Boiten, Eerke Albert
core  

An isoform of 14‐3‐3 protein regulates transbilayer lipid movement at the plasma membrane

FEBS Letters, EarlyView.
Loss of 14‐3‐3ζ in CHO cells confers resistance to exogenous phosphatidylserine (PS) and impairs endocytosis‐independent inward flip‐flop of fluorescent PS at the plasma membrane. RNAi‐mediated knockdown reproduces this defect, while no additive effect is seen in ATP11C‐deficient cells.
Akiko Yamaji‐Hasegawa, Akira Hattori, Masafumi Tsujimoto, Toshihide Kobayashi   +3 more
wiley   +1 more source