Skip to main
Zenodo home
Communities
My dashboard
Log in Sign up
Published January 1, 1970 | Version v1
Conference paper Open

Formal specification and verification of control software for cryptographic equipment

Authors/Creators

  • Kuhn, D. R.
  • Dray, J. F.

Description

n/a

Files

article.pdf

Files (1.1 MB)

Name Size
article.pdf
md5:58f1dca1b725b6d47dc3292eefb5553f
1.1 MB Preview Download
170
Views
418
Downloads
Show more details
All versions This version
Views

Total views

170 170
Downloads

Total downloads

418 418
Data volume

Total data volume

455.1 MB 455.1 MB

More info on how stats are collected....

Versions

External resources

Indexed in
  • OpenAIRE

Communities

Details

DOI
10.1109/csac.1990.143748
DOI Badge

DOI 

10.1109/csac.1990.143748

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.1109/csac.1990.143748.svg)](https://doi.org/10.1109/csac.1990.143748)

reStructuredText 

.. image:: https://zenodo.org/badge/DOI/10.1109/csac.1990.143748.svg
  :target: https://doi.org/10.1109/csac.1990.143748

HTML 

<a href="https://doi.org/10.1109/csac.1990.143748"><img src="https://zenodo.org/badge/DOI/10.1109/csac.1990.143748.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.1109/csac.1990.143748.svg

Target URL 

https://doi.org/10.1109/csac.1990.143748
Resource type
Conference paper
Publisher
Zenodo

Rights

License
cc0-1.0 icon Creative Commons Zero v1.0 Universal
CC0 waives copyright interest in a work you've created and dedicates it to the world-wide public domain. Use CC0 to opt out of copyright entirely and ensure your work has the widest reach. Read more

Citation

Export

Technical metadata

Created
June 4, 2018
Modified
August 2, 2024

About

  • About
  • Policies
  • Infrastructure
  • Principles
  • Projects
  • Roadmap
  • Contact

Blog

  • Blog

Support

  • Help
  • FAQ

Developers

  • REST API
  • OAI-PMH

Contribute

  • GitHub
  • Donate

Funded by

Powered by CERN Data Centre & InvenioRDM

  • Status
  • Privacy policy
  • Cookie policy
  • Terms of Use

This site uses cookies. Find out more on how we use cookies