Underapproximation for Model-Checking Based on Random Cryptographic Constructions

doi 10.1007/978-3-540-73368-3_39
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Springer Berlin Heidelberg

Related search

Secure and Efficient Hybrid Random Number Generator Based on Sponge Constructions for Cryptographic Applications

Elektronika ir Elektrotechnika
Electronic EngineeringElectrical
2019English

Model Checking Cryptographic Protocols With Interval Temporal Logic

Journal of Convergence Information Technology
2010English

Provably Secure Cryptographic Constructions

2012English

Lower Bounds on the Efficiency of Generic Cryptographic Constructions

English

Parameter Generation for Hierarchical Scheduling Systems Based on Model Checking

Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University
Engineering
2019English

A Model-Checking Approach for Fault Analysis Based on Configurable Model Extraction

IEICE Transactions on Information and Systems
Electronic EngineeringPattern RecognitionHardwareComputer VisionElectricalArchitectureArtificial IntelligenceSoftware
2015English

Byte Code Verification for Java Smart Cards Based on Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Ontology Based Semantics Checking for UML Activity Model

Information Technology Journal
2012English

System Reduction Based on Symmetry in Game Model Checking

DEStech Transactions on Computer Science and Engineering
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy