On-the-Fly Formal Testing of a Smart Card Applet

Autor: Weelden, A. van, Oostdijk, M.D., Frantzen, L., Koopman, P.W.M., Tretmans, G.J., Sasaki, Ryoichi, Qing, Sihan, Okamoto, Eiji, Yoshiura, Hiroshi

Publikováno v: Sasaki, Ryoichi; Qing, Sihan; Okamoto, Eiji (ed.), Security and Privacy in the Age of Ubiquitous Computing: IFIP TC11 20th International Information Security Conference May 30 – June 1, 2005, Chiba, Japan, 565-576. New York : Springer-Verlag
STARTPAGE=565;ENDPAGE=576;ISSN=9783-4215;TITLE=Sasaki, Ryoichi; Qing, Sihan; Okamoto, Eiji (ed.), Security and Privacy in the Age of Ubiquitous Computing: IFIP TC11 20th International Information Security Conference May 30 – June 1, 2005, Chiba, Japan
Sasaki, Ryoichi; Qing, Sihan; Okamoto, Eiji (ed.), Security and Privacy in the Age of Ubiquitous Computing: IFIP TC11 20th International Information Security Conference May 30 – June 1, 2005, Chiba, Japan, pp. 565-576

Contains fulltext : 32809.pdf (Author’s version preprint ) (Open Access) IFIP TC11

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::302ef61bdef5e05ad9d318b60050e34e
https://doi.org/10.1007/0-387-25660-1_37

Integrating Verification, Testing, and Learning for Cryptographic Protocols

Autor: Oostdijk, M.D., Rusu, V., Tretmans, J., Vries, de, R.G., Willemse, T.A.C., Gibbons, J., Davies, J.

Publikováno v: Lecture Notes in Computer Science ISBN: 9783540732099
IFM
Proceedings of the 6th International Conference on Integrated Formal Methods (IFM 2007) 2-5 July 2007, Oxford, United Kingdom, 538-557
STARTPAGE=538;ENDPAGE=557;TITLE=Proceedings of the 6th International Conference on Integrated Formal Methods (IFM 2007) 2-5 July 2007, Oxford, United Kingdom

The verification of cryptographic protocol specifications is an active research topic and has received much attention from the formal verification community. By contrast, the black-box testing of actual implementations of protocols, which is, arguabl

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::f1311aa24ba6c8095765e405a1bebeab
https://doi.org/10.1007/978-3-540-73210-5_28

Non-interference in JML

Autor: Warnier, M.E., Oostdijk, M.D.

Publikováno v: Technical Report ; ICIS-R05034. Nijmegen : Nijmegen Institute for Computing and Information Sciences
Technical Report ; ICIS-R05034

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::cdd63e8101156df4a57b0cbaf049de8f
http://hdl.handle.net/2066/32788

Implementing a formally verifiable security protocol in Java Card

Autor: Hubbers, E.M.G.M., Oostdijk, M.D., Poll, E., Hutter, D., M�ller, G., Stephan, W., Ullmann, M.

Publikováno v: Hutter, D.; M�ller, G.; Stephan, W. (ed.), Proceedings of the 1st international conference on security in pervasive computing, pp. 213-226
Hutter, D.; M�ller, G.; Stephan, W. (ed.), Proceedings of the 1st international conference on security in pervasive computing, 213-226. Berlin ; New York : Springer-Verlag
STARTPAGE=213;ENDPAGE=226;TITLE=Hutter, D.; M�ller, G.; Stephan, W. (ed.), Proceedings of the 1st international conference on security in pervasive computing

Contains fulltext : 60536.pdf (Author’s version preprint ) (Open Access)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6cdebada80dcbb4376a7f86ee42e120d
https://hdl.handle.net/2066/60536

From Finite State Machines To Provably Correct Java Card Applets

Autor: Hubbers, E.M.G.M., Oostdijk, M.D., Poll, E., Gritzalis, Dimitris

Publikováno v: Gritzalis, Dimitris (ed.), Proceedings of the 18th IFIP Information Security Conference, 465-470. [S.l.] : Kluwer Academic Publishers
STARTPAGE=465;ENDPAGE=470;TITLE=Gritzalis, Dimitris (ed.), Proceedings of the 18th IFIP Information Security Conference
Gritzalis, Dimitris (ed.), Proceedings of the 18th IFIP Information Security Conference, pp. 465-470

Contains fulltext : 112456.pdf (Author’s version preprint ) (Open Access) 5 p.

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::fa7a0acc46ac20afe75abf063dbf934f
https://hdl.handle.net/2066/112456