Results 101 to 110 of about 25,005,250 (309)

Formal Security Analysis of ISA100.11a Standard Protocol Based on Colored Petri Net Tool

Information
This paper presents a formal security analysis of the ISA100.11a standard protocol using the Colored Petri Net (CPN) modeling approach. Firstly, we establish a security threat model for the ISA100.11a protocol and provide a detailed description and ...
Tao Feng, Taining Chen, Xiang Gong
doaj   +1 more source

Optimization and Security Analysis of Interconnected Security Control Based on Semantic of Process Communication

天地一体化信息网络, 2021
Facing the demand of multi-domain security control in the integrated network of air and ground, to solve the problem that singleprocess regular matching restricts the performance of interconnected security gateway, the method of high-performance ...
Bo LU, Yueming LU
doaj  

A formal analysis of inconsistent decisions in intertemporal choice through subjective time perception. [PDF]

Heliyon, 2023
Cruz Rambaud S, Sánchez García J.
europepmc   +1 more source

Leucine‐rich glioma inactivated 1 (LGI1) is a ganglioside‐binding protein

FEBS Letters, EarlyView.
Neuronal hyperexcitability associated with a decrease/absence of the extracellular protein LGI1 has been suggested to be primarily due to the downregulation of Kv1 channel expression. The molecular mechanisms underlying this decrease have not yet been elucidated.
Kévin Debreux, Christian Lévêque, Fodil Azzaz, Marion Sangiardi, Sarosh R Irani, Michael Seagar, Jacques Fantini, Oussama El Far   +7 more
wiley   +1 more source

Formal API Specification of the PikeOS Separation Kernel

, 2015
PikeOS is an industrial operating system for safety and security critical applications in, for example, avionics and automotive contexts. A consortium of several European partners from industry and academia works on the certification of PikeOS up to at ...
Nemouchi, Y., Tverdyshev, S., Havelund, K., Blasum, H., Holzmann, G., Verbeek, F., Schmaltz, J., Wolff, B., Joshi, R., Langenstein, B., Stephan, W., Havle, O., Schmalz, J.   +12 more
core   +1 more source

SystemC^FL : a formalism for hardware/software co-design [PDF]

, 2005
SystemCFL is a formal language for hardware/software codesign. Principally, SystemCFL is the formalization of SyslemC based on classical process algebra ACP.
O'Regan, F., Man, K.L., Wegener, C.
core   +1 more source

A Formal Analysis of the Mimblewimble Cryptocurrency Protocol. [PDF]

Sensors (Basel), 2021
Silveira A, Betarte G, Cristiá M, Luna C.   +3 more
europepmc   +1 more source

IMPDH inhibition enhances cytarabine efficacy in SAMHD1‐expressing leukaemia cells via guanine nucleotide depletion

Molecular Oncology, EarlyView.
Cytarabine is a key therapy for acute myeloid leukaemia (AML), but its efficacy is limited by the dNTPase SAMHD1, which hydrolyses its active metabolite. Screening nucleotide biosynthesis inhibitors revealed that IMPDH inhibitors selectively sensitise SAMHD1‐proficient AML cells to cytarabine.
Miriam Yagüe‐Capilla, Christopher Dirks, Caroline Eiden, Sonja K. Fesenmayer, Femke M. Hormann, Yolande Klootsema, Ingrid Lilienthal, Si Min Zhang, Nikolas Herold, Sean G. Rudd   +9 more
wiley   +1 more source

Proceedings of Formal Methods in Computer-Aided Design, FMCAD 2024

The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification.
Formal Methods in Computer Aided Design
core   +1 more source

Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version. [PDF]

PeerJ Comput Sci, 2023
Tran DD, Do CM, Escobar S, Ogata K.
europepmc   +1 more source