Zobrazeno 1 - 10
of 20
pro vyhledávání: '"Yatapanage, Nisansala"'
The verification of security protocols is essential, in order to ensure the absence of potential attacks. However, verification results are only valid with respect to the assumptions under which the verification was performed. These assumptions are o
Externí odkaz:
http://arxiv.org/abs/2311.15189
We present an investigation into the design and implementation of a parallel model checker for security protocol verification that is based on a symbolic model of the adversary, where instantiations of concrete terms and messages are avoided until ne
Externí odkaz:
http://arxiv.org/abs/2207.09895
Autor:
Yatapanage, Nisansala, Winter, Kirsten
Publikováno v:
In Theoretical Computer Science 23 August 2015 594:120-142
Publikováno v:
In Journal of Visual Languages and Computing 2008 19(3):343-379
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
It is essential to ensure the correctness of software systems, especially for large and safety-critical pplications. Detecting problems earlier in the software cycle, such as in the specification and design phases, would significantly reduce the cost
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::814ea6d33fc3e61aacda1f747e43aaa6
Autor:
Jones, Cliff B., Yatapanage, Nisansala
Publikováno v:
Software Engineering & Formal Methods: 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings; 2015, p3-19, 17p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
Theoretical Computer Science (9783642152399); 2010, p125-139, 15p