Results 91 to 100 of about 2,516,508 (290)
Abstractions for Security Protocol Verification [PDF]
, 2015 We present a large class of security protocol abstractions with the aim of improving the scope and efficiency of verification tools. We present type-based abstractions, which use a term’s type to uniformly select the kind of abstraction applied, as well as untyped abstractions, which enable the removal of atomic messages, variables, and redundant terms.
Thanh Binh Nguyen 0003 +1 more
openaire +4 more sources
Arthritis Care &Research, EarlyView.Objective Our objective was to describe the social networks of Black individuals with rheumatic and musculoskeletal conditions and understand the clustering of health‐related behaviors to inform future community‐based, peer‐led interventions. Methods We used an adapted Personal Network Survey for Clinical Research (PERSNET) to map the personal social ...
Taussia Boadi +27 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.Geometry‐driven thermal behavior in wire‐arc additive manufacturing (WAAM) influences microstructural evolution during nonequilibrium solidification of a chemically complex Fe–Cr–Nb–W–Mo–C nanocomposite system. By comparing different deposits configurations, distinct entropy–cooling rate correlations, segregation, and carbide evolution are revealed ...
Blanca Palacios +5 more
wiley +1 more source
Emergence in the security of protocols for mobile ad-hoc networks [PDF]
This thesis is concerned with the study of secure wireless routing protocols, which have been deployed for the purpose of exchanging information in an adhoc networking enviromnent.
Pavlosoglou, Ioannis
core
The PRIMA Thesaurus for Materials Science and Engineering
Advanced Engineering Materials, EarlyView.The PRIMA Thesaurus is a structured vocabulary designed to improve how materials science data is described and shared. Developed with input from multiple experts, it enables clear documentation of research workflows, data exchange, and reuse across platforms.
Rossella Aversa +8 more
wiley +1 more source
Advanced Engineering Materials, EarlyView.Solvate ionic liquids lubrication reduced the coefficient of friction by ∼60% compared to dry sliding, reaching steady‐state values as low as 0.04–0.05. Corrosion weight‐loss measurements in 1 M HCl further demonstrated significant inhibition behavior, with only 100 ppm of [Li(G3)][TFSI] (∼68.5 μL/L) reducing corrosion‐product weight loss by 63 ...
Sameh Dabees +6 more
wiley +1 more source
Adaptive Foam 3D Printing of Ultralight and Multifunctional Materials
Advanced Engineering Materials, EarlyView.Adaptive foam 3D printing, enabled by expandable microspheres, imparts cellular structures to thermoplastic and thermosetting polymers, manufactured through a variety of processes including fused filament fabrication, direct ink writing, digital light processing, and inkjet printing.
Nariman Rajabifar, Amir Ameli
wiley +1 more source
DEEPSEC: Deciding Equivalence Properties in Security Protocols - Theory and Practice
, 2018 International audienceAutomated verification has become an essential part in the security evaluation of cryptographic protocols. Recently, there has been a considerable effort to lift the theory and tool support that existed for reachability properties ...
Rakotonirina, Itsaka +2 more
core +1 more source
Security Protocols in a Nutshell
CoRR, 2016 Security protocols are building blocks in secure communications. They deploy some security mechanisms to provide certain security services. Security protocols are considered abstract when analyzed, but they can have extra vulnerabilities when implemented. This manuscript provides a holistic study on security protocols.
openaire +3 more sources
Formal verification of secure group communication protocols modelled in UML [PDF]
, 2010 The paper discusses an experience in using UML and two complementary verification tools in the framework of SAFECAST, a project on secured group communication systems design. AVISPA enabled detecting and fixing security flaws.
Chridi, Najah +9 more
core +1 more source