Low-deterministic security for low-nondeterministic programs1

Autor:	Jürgen Graf, Joachim Breitner, Simon Bischof, Martin Mohr, Martin Hecker, Gregor Snelting
Rok vydání:	2018
Předmět:	Nondeterministic algorithm Theoretical computer science Computer Networks and Communications Hardware and Architecture Computer science 0502 economics and business 05 social sciences 0202 electrical engineering electronic engineering information engineering 020207 software engineering 02 engineering and technology Safety Risk Reliability and Quality 050203 business & management Software
Zdroj:	Journal of Computer Security. 26:335-366
ISSN:	1875-8924 0926-227X
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::3454853a6a5652b724927f3af3ede7d0 https://doi.org/10.3233/jcs-17984 Zobrazit plný text záznamu Plný text ve formátu PDF Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.