(Q114584410)

English

IsaNet: A framework for verifying secure data plane protocols

scientific article published in 2022

In more languages

default for all languages

No label defined

No description defined

edit

Statements

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.3233/jcs-220021

retrieved

11 October 2022

title

IsaNet: A framework for verifying secure data plane protocols (English)

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.3233/jcs-220021

retrieved

11 October 2022

author name string

Tobias Klenze

series ordinal

1

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.3233/jcs-220021

retrieved

11 October 2022

Christoph Sprenger

series ordinal

2

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.3233/jcs-220021

retrieved

11 October 2022

David Basin

series ordinal

3

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.3233/jcs-220021

retrieved

11 October 2022

publication date

15 September 2022

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.3233/jcs-220021

retrieved

11 October 2022

language of work or name

English

0 references

published in

Journal of Computer Security

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.3233/jcs-220021

retrieved

11 October 2022

page(s)

1-43

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.3233/jcs-220021

retrieved

11 October 2022

Identifiers

1 reference

https://api.crossref.org/v1/works/https://doi.org/10.3233/jcs-220021

retrieved

11 October 2022

(Q114584410)

IsaNet: A framework for verifying secure data plane protocols

Statements

Identifiers

Sitelinks

Wikipedia(0 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)