A Declaration of Software Independence

JAMROGA, Wojciech; RYAN, Peter Y A; Schneider, Steve; Schürmann, Carsten; Stark, Philip B.

doi:10.1007/978-3-030-91631-2\_11

Pas de texte intégral

Contribution à des ouvrages collectifs (Parties d’ouvrages)

A Declaration of Software Independence

JAMROGA, Wojciech; RYAN, Peter Y A; Schneider, Steve et al.

2021 • In Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday

Peer reviewed

Permalien
https://hdl.handle.net/10993/48859

DOI
10.1007/978-3-030-91631-2\_11

Documents (0)Envoyer vers Détails Statistiques Bibliographie Publications similaires

Documents

Texte intégral

Aucun document disponible.

Envoyer vers

RIS BibTex APA Chicago Permalink X Linkedin

Détails

Centre de recherche :

Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Applied Security and Information Assurance Group (APSIA)

Disciplines :

Sciences informatiques

Auteur, co-auteur :

JAMROGA, Wojciech ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > APSIA

RYAN, Peter Y A ; University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS)

Schneider, Steve

Schürmann, Carsten

Stark, Philip B.

Co-auteurs externes :

yes

Langue du document :

Anglais

Titre :

A Declaration of Software Independence

Date de publication/diffusion :

2021

Titre de l'ouvrage principal :

Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman on the Occasion of his 66.66th Birthday

Maison d'édition :

Springer

Collection et n° de collection :

Lecture Notes in Computer Science

Pagination :

198--217

Peer reviewed :

Peer reviewed

Focus Area :

Security, Reliability and Trust
Computational Sciences

Projet FnR :

FNR12685695 - Socio-technical Verification Of Information Security And Trust In Voting Systems, 2018 (01/09/2019-31/08/2022) - Peter Y. A. Ryan

Organisme subsidiant :

FNR - Fonds National de la Recherche

Commentaire :

13066

Disponible sur ORBilu :

depuis le 07 décembre 2021

Statistiques

Nombre de vues

196 (dont 13 Unilu)

Nombre de téléchargements

0 (dont 0 Unilu)

Voir plus de statistiques