نتائج البحث

Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA

• Authors : Santiago Pinazo, Sonia; University/Department: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació; ...

Subjects: Maude-NPA; Formal verification of cryptographic protocols; Cryptographic protocol analysis

تفاصيل العنوان

Advanced Features in Protocol Verification: Theory, Properties, and Efficiency in Maude-NPA

• Authors : University/Department: Universitat Politècnica de València. Departamento de Sistemas Informáticos y Computación - Departament de Sistemes Informàtics i Computació; Escobar Román, Santiago

Subjects: Maude-NPA; Formal verification of cryptographic protocols; Cryptographic protocol analysis

تفاصيل العنوان

A New Logic, a New Information Measure, and a New Information-Based Approach to Interpreting Quantum Mechanics.

• Authors : Ellerman, David¹ (AUTHOR)

• Source: Entropy. Feb2024, Vol. 26 Issue 2, p169. 29p.

تفاصيل العنوان

Unconditionally Secure Ciphers with a Short Key for a Source with Unknown Statistics.

• Authors : Ryabko, Boris^1,2 (AUTHOR)

• Source: Entropy. Oct2023, Vol. 25 Issue 10, p1406. 7p.

تفاصيل العنوان

Quantum Bose–Einstein Statistics for Indistinguishable Concepts in Human Language.

• Authors : Beltran, Lester¹ (AUTHOR)

• Source: Foundations of Science. Mar2023, Vol. 28 Issue 1, p43-55. 13p. 2 Diagrams, 1 Chart, 3 Graphs.

تفاصيل العنوان

ИЗКУСТВОТО НА ХХI ВЕК КАТО АКСИОЛОГИЧЕН И КОГНИТИВЕН ПРОБЛЕМ НА НЕРАЗЛИЧИМОСТТА.

• Authors : ДЕЛЕВА, НИКОЛИНА¹

• Source: Philosophical Alternatives Journal / Filosofski Alternativi. 2023, Vol. 32 Issue 1, p45-55. 11p.

تفاصيل العنوان

On Large Tweaks in Tweakable Even-Mansour with Linear Tweak and Key Mixing

• Authors : Benoît Cogliati; Jordan Ethan; Ashwin Jha

Subjects: TEM; indifferentiability; indistinguishability

• Source: IACR Transactions on Symmetric Cryptology, Vol 2023, Iss 4 (2023)

تفاصيل العنوان

The stoic cognitive impression and the academic 'Aparallaxia Argument' : a study of an epistemological debate

• Authors : Zarzar, Cristóbal; Warren, James

Subjects: Stoicism; Scepticism; Hellenistic Philosophy

تفاصيل العنوان

Verifiable attribute-based keyword search scheme over encrypted data for personal health records in cloud

• Authors : Yuqin Sun; Lidong Han; Jingguo Bi

Subjects: Searchable encryption; Ciphertext-policy ABE; Multi-keyword search

• Source: Journal of Cloud Computing: Advances, Systems and Applications, Vol 12, Iss 1, Pp 1-13 (2023)

تفاصيل العنوان

A New Logic, a New Information Measure, and a New Information-Based Approach to Interpreting Quantum Mechanics

• Authors : David Ellerman

Subjects: logic of partitions; logical entropy; ontic indefiniteness

• Source: Entropy, Vol 26, Iss 2, p 169 (2024)

تفاصيل العنوان