Logic, Language, and Security
portes grátis
Logic, Language, and Security
Essays Dedicated to Andre Scedrov on the Occasion of His 65th Birthday
Talcott, Carolyn; Nigam, Vivek; Ban Kirigin, Tajana; Thau Loo, Boon; Kuznetsov, Stepan; Okada, Mitsuhiro; Guttman, Joshua
Springer Nature Switzerland AG
10/2020
203
Mole
Inglês
9783030620769
15 a 20 dias
454
Descrição não disponível.
Logic.- A ?01-Bounded Fragment of In nitary Action Logic with Exponential.- Transcendental syntax IV : logic without systems.- Logic and Computing.- A small remark on Hilbert's finitist view of divisibility and Kanovich-Okada-Scedrov's logical analysis of real-time systems.- Logic of fusion.- There's No Time, The Problem of Conceptualising Time.- Andre and the early days of Penn's Logic and Computation Group.- Formal Verification of Ethereum smart contracts using Isabelle/HOL.- Logic and Application - LAP meeting.- Logic and Security.- Formal Methods Analysis of the Secure Remote Password Protocol.- The hitchhiker's guide to decidability and complexity of equivalence properties in security protocols.- Assumption-Based Analysis of Distance-Bounding Protocols with CPSA.- Modelchecking safety properties in randomized security protocols.- Logic and Language.- Andre Scedrov.- Gender Bias in Neural Natural Language Processing.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
artificial intelligence;boolean functions;computer programming;computer security;cryptography;dynamic logic;field programmable gate array;formal logic;formal methods;formal verifications;fpga;fuzzy logic;fuzzy sets;logic design;logic gates;many valued logics;modal logic;model checking;multivalued logic;network protocols
Logic.- A ?01-Bounded Fragment of In nitary Action Logic with Exponential.- Transcendental syntax IV : logic without systems.- Logic and Computing.- A small remark on Hilbert's finitist view of divisibility and Kanovich-Okada-Scedrov's logical analysis of real-time systems.- Logic of fusion.- There's No Time, The Problem of Conceptualising Time.- Andre and the early days of Penn's Logic and Computation Group.- Formal Verification of Ethereum smart contracts using Isabelle/HOL.- Logic and Application - LAP meeting.- Logic and Security.- Formal Methods Analysis of the Secure Remote Password Protocol.- The hitchhiker's guide to decidability and complexity of equivalence properties in security protocols.- Assumption-Based Analysis of Distance-Bounding Protocols with CPSA.- Modelchecking safety properties in randomized security protocols.- Logic and Language.- Andre Scedrov.- Gender Bias in Neural Natural Language Processing.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
artificial intelligence;boolean functions;computer programming;computer security;cryptography;dynamic logic;field programmable gate array;formal logic;formal methods;formal verifications;fpga;fuzzy logic;fuzzy sets;logic design;logic gates;many valued logics;modal logic;model checking;multivalued logic;network protocols
