From Security Protocols to Pushdown Automata

ACM Transactions on Computational Logic - United States
doi 10.1145/2811262
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Collapsible Pushdown Automata and Recursion Schemes

Proceedings - Symposium on Logic in Computer Science
MathematicsSoftware
2008English

Automata Evaluation and Text Search Protocols With Simulation-Based Security

Journal of Cryptology
Applied MathematicsComputer Science ApplicationsSoftware
2015English

Simply Typed Fixpoint Calculus and Collapsible Pushdown Automata

Mathematical Structures in Computer Science
MathematicsComputer Science Applications
2015English

The Quotient Operation on Input-Driven Pushdown Automata

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2017English

Application Layer Protocols to Protect Electronic Mail From Security Threads

2015English

Deciding Probabilistic Simulation Between Probabilistic Pushdown Automata and Finite-State Systems

Information and Computation
Theoretical Computer ScienceComputational TheoryComputer Science ApplicationsInformation SystemsMathematics
2019English

On the Complexity of Semantic Equivalences for Pushdown Automata and BPA

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

From Dignity to Security Protocols: A Scientometric Analysis of Digital Ethics

Ethics and Information Technology
Computer Science ApplicationsLibraryInformation Sciences
2018English

Reducing an Operational Supervisory Control Problem by Decomposition for Deterministic Pushdown Automata

IFAC Proceedings Volumes
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy