Results 61 to 70 of about 2,516,508 (290)
CARBUROS: A Formally Verified Authentication Protocol for V2X Communications
IEEE AccessThe growing adoption of Vehicle-to-Everything (V2X) communications in Intelligent Transportation Systems (ITS) demands robust authentication protocols to ensure secure and reliable interaction among road actors.
Marco De Vincenzi +3 more
doaj +1 more source
Semantics and logic for security protocols [PDF]
Journal of Computer Security, 2009 This paper presents a sound BAN-like logic for reasoning about security protocols with theorem prover support. The logic has formulas for sending and receiving messages (with nonces, public and private encryptions, etc.), and has both temporal and epistemic operators (describing the knowledge of participants).
Jacobs, B., Jacobs, B., Hasuo, I.
openaire +2 more sources
FEBS Letters, EarlyView.This study reveals that the small GTPase Rab14 is necessary for human papillomavirus (HPV) infection and plays an essential role in the transport of virions to the trans‐Golgi network (TGN). HPV in the early endosome (EE), which harbors GTP‐bound Rab14, is transported to the TGN through the switch of Rab14 from its GTP‐bound to GDP‐bound form.
Yoshiyuki Ishii, Iwao Kukimoto
wiley +1 more source
SAT-based lazy formal analysis method for security protocols
Tongxin xuebao, 2014 A SAT-based security protocol formalization analysis method named SAT-LMC is proposed.The method introduces optimized the initial state and transformational rules with “lazy” idea.The efficiency of detection is significantly improved.Moreover，by adding ...
Chun-xiang GU +4 more
doaj
Survey of Security Protocols and Vulnerabilities in Unmanned Aerial Vehicles
IEEE Access, 2021 With the rapid growth in technology, the use of Unmanned Aerial Vehicles (UAVs) have increased in civil and military applications including rescue operations, disaster recovery, and military operations.
Arslan Shafique +2 more
doaj +1 more source
FEBS Open Bio, EarlyView.Drugs previously repurposed to target blood cancers reduced neuroblastoma and glioblastoma cell growth and viability. However, their levels of anticancer activity were different and their clinical application may be problematic due to side effects at effective doses.
Abhishek Kharawatkar +4 more
wiley +1 more source
Deduction with XOR Constraints In Security API Modelling [PDF]
, 2005 We introduce XOR constraints, and show how they enable a theorem prover to reason effectively about security critical subsystems which employ bitwise XOR. Our primary case study is the API of the IBM 4758 hardware security module.
Graham Steel, Steel, Graham, Alan Bundy
core +1 more source
Loss of AMBRA1 activates MAPK and angiogenesis signaling pathways in melanoma cells
FEBS Open Bio, EarlyView.Loss of AMBRA1 in melanoma cells activates multiple oncogenic pathways associated with tumor progression. Transcriptomic and protein network analyses revealed that AMBRA1 depletion enhances MAPK/ERK signaling, angiogenesis, TGF‐β/EMT signaling, and Wnt/axon guidance pathways.
Milad Ibrahim +4 more
wiley +1 more source
Pre-Authentication Schemes for UMTS-WLAN Interworking
EURASIP Journal on Wireless Communications and Networking, 2009 Interworking Universal Mobile Telecommunication System (UMTS) and IEEE 802.11 Wireless Local Area Networks (WLANs) introduce new challenges including the design of secured and fast handover protocols.
Ali Al Shidhani, Victor C. M. Leung
doaj +2 more sources
Automatic verification of cryptographic protocols: privacy-type properties [PDF]
, 2012 Many tools have been developed to automatically verify security properties on cryptographic protocols. But until recently, most tools focused on trace properties (or reachability properties) such as authentication and secrecy.
Cheval, Vincent
core