Automata Evaluation and Text Search Protocols With Simulation-Based Security

Journal of Cryptology - United States
doi 10.1007/s00145-014-9193-x
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

From Security Protocols to Pushdown Automata

ACM Transactions on Computational Logic
Computational MathematicsTheoretical Computer ScienceComputer ScienceLogic
2015English

Internet Protocols With Input and Output Automata

International Journal of Innovative Technology and Exploring Engineering
Mechanics of MaterialsElectronic EngineeringCivilStructural EngineeringElectricalComputer Science
2019English

VANET: Routing Protocols, Security Issues and Simulation Tools

IOSR Journal of Computer Engineering
2012English

Learning Automata-Based Polling Protocols for Wireless LANs

IEEE Transactions on Communications
Electronic EngineeringElectrical
2003English

Supporting Security Protocols on CAN-based Networks

2017English

Invariant-Based Reasoning About Parameterized Security Protocols

Formal Aspects of Computing
Theoretical Computer ScienceSoftware
2009English

Reputation-Based Wi-Fi Deployment Protocols and Security Analysis

2004English

Formally-Based Black-Box Monitoring of Security Protocols

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

Special Issue on Simulation With Cellular Automata

Simulation
Computer GraphicsSimulationComputer-Aided DesignModelingMathematicsSoftware
2016English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy