Ask
Search
My library

About
Statistics
Contact
Data Protection
Accessibility
Imprint
Changelog
Frontend: v1.31.3
Backend: v1.11.4

We use cookies to provide a better user experience.

Data Protection

Learning and Testing the Bounded Retransmission Protocol

Aarts, Fides
Kuppens, H.C.W.
Tretmans, G.J.
Vaandrager, F.
Verwer, S.E.

Publication date

January 2012

Publisher

[S.l.] : [S.n.]

Abstract

Contains fulltext : 103474.pdf (publisher's version ) (Closed access) Contains fulltext : 103474pre.pdf (preprint version ) (Open Access)nul

Extracted data

Related items

Analyzing Multi-Key Security Degradation

Luykx, A.
Mennink, B.
Paterson, K.G.

January 2017

Contains fulltext : 179039.pdf (preprint version ) (Closed access) ...

Action Refinement in Conformance Testing

Bijl, M.
Rensink, A.
Tretmans, G.J.

January 2005

Contains fulltext : 33320.pdf (preprint version ) (Open Access

Measuring Web Session Security at Scale

Calzavara, S.
Jonker, H.
Krumnow, B.
Rabitti, A.

January 2021

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

Bound Propagation

Leisink, M.A.R.
Kappen, H.J.

January 2003

Contains fulltext : 112670.pdf (publisher's version ) (Open Access

Benchmarks for Automata Learning and Conformance Testing

Neider, D.
Smetsers, R.
Vaandrager, F.W.
Kuppens, H.C.W.

January 2019

Contains fulltext : 204557.pdf (preprint version ) (Closed access) ...

Learning Fragments of the TCP Network Protocol

Fiterău-Broştean, P.
Janssen, R.
Vaandrager, F.

January 2014

Contains fulltext : 132841.pdf (preprint version ) (Closed access

Learning Unions of k-Testable Languages

Linard, A.R.R.
Higuera, C. de la
Vaandrager, F.W.

January 2019

Contains fulltext : 201648.pdf (Publisher’s version ) (Open Access) ...

Audition of Web Services for Testing Conformance to Open Specified Protocols

Bertolino, A.
Frantzen, L.
Polini, A.
Tretmans, J.

January 2006

Contains fulltext : 36059.pdf (preprint version ) (Open Access

The thresholds to mobility disentangled

Naerssen, A.L. van
Velde, B.M.R. van der

January 2015

Contains fulltext : 170749.pdf (publisher's version ) (Closed access

Testing with Functional Reference Implementations

Koopman, P.
Plasmeijer, R.

January 2011

Contains fulltext : 92414.pdf (publisher's version ) (Closed access

Update Semantics of Security Protocols

Hommersom, A.J.
Meyer, J.--J.Ch.
Vink, E.P. de

January 2004

Contains fulltext : 60368.pdf (publisher's version ) (Closed access

Avoiding Man-in-the-Middle Attacks When Verifying Public Terminals

Alpár, G.
Hoepman, J.-H.

January 2012

Contains fulltext : 103876.pdf (preprint version ) (Closed access

Implementing a formally verifiable security protocol in Java Card

Hubbers, E.M.G.M.
Oostdijk, M.D.
Poll, E.

January 2004

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

Model-Based Testing of Thin-Client Web Applications and Navigation Input

Koopman, Pieter
Achten, Peter
Plasmeijer, Rinus

January 2007

Contains fulltext : 34447.pdf (publisher's version ) (Open Access

Formal analysis of the EMV protocol suite

Ruiter, J.E.J. de
Poll, E.

January 2012

Contains fulltext : 91458.pdf (preprint version ) (Closed access

Analyzing Multi-Key Security Degradation

Luykx, A.
Mennink, B.
Paterson, K.G.

January 2017

Contains fulltext : 179039.pdf (preprint version ) (Closed access) ...

Action Refinement in Conformance Testing

Bijl, M.
Rensink, A.
Tretmans, G.J.

January 2005

Contains fulltext : 33320.pdf (preprint version ) (Open Access

Measuring Web Session Security at Scale

Calzavara, S.
Jonker, H.
Krumnow, B.
Rabitti, A.

January 2021

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

Bound Propagation

Leisink, M.A.R.
Kappen, H.J.

January 2003

Contains fulltext : 112670.pdf (publisher's version ) (Open Access

Benchmarks for Automata Learning and Conformance Testing

Neider, D.
Smetsers, R.
Vaandrager, F.W.
Kuppens, H.C.W.

January 2019

Contains fulltext : 204557.pdf (preprint version ) (Closed access) ...

Learning Fragments of the TCP Network Protocol

Fiterău-Broştean, P.
Janssen, R.
Vaandrager, F.

January 2014

Contains fulltext : 132841.pdf (preprint version ) (Closed access

Learning Unions of k-Testable Languages

Linard, A.R.R.
Higuera, C. de la
Vaandrager, F.W.

January 2019

Contains fulltext : 201648.pdf (Publisher’s version ) (Open Access) ...

Audition of Web Services for Testing Conformance to Open Specified Protocols

Bertolino, A.
Frantzen, L.
Polini, A.
Tretmans, J.

January 2006

Contains fulltext : 36059.pdf (preprint version ) (Open Access

The thresholds to mobility disentangled

Naerssen, A.L. van
Velde, B.M.R. van der

January 2015

Contains fulltext : 170749.pdf (publisher's version ) (Closed access

Testing with Functional Reference Implementations

Koopman, P.
Plasmeijer, R.

January 2011

Contains fulltext : 92414.pdf (publisher's version ) (Closed access

Update Semantics of Security Protocols

Hommersom, A.J.
Meyer, J.--J.Ch.
Vink, E.P. de

January 2004

Contains fulltext : 60368.pdf (publisher's version ) (Closed access

Avoiding Man-in-the-Middle Attacks When Verifying Public Terminals

Alpár, G.
Hoepman, J.-H.

January 2012

Contains fulltext : 103876.pdf (preprint version ) (Closed access

Implementing a formally verifiable security protocol in Java Card

Hubbers, E.M.G.M.
Oostdijk, M.D.
Poll, E.

January 2004

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

Model-Based Testing of Thin-Client Web Applications and Navigation Input

Koopman, Pieter
Achten, Peter
Plasmeijer, Rinus

January 2007

Contains fulltext : 34447.pdf (publisher's version ) (Open Access

Formal analysis of the EMV protocol suite

Ruiter, J.E.J. de
Poll, E.

January 2012

Contains fulltext : 91458.pdf (preprint version ) (Closed access

Analyzing Multi-Key Security Degradation

Luykx, A.
Mennink, B.
Paterson, K.G.

January 2017

Contains fulltext : 179039.pdf (preprint version ) (Closed access) ...

Action Refinement in Conformance Testing

Bijl, M.
Rensink, A.
Tretmans, G.J.

January 2005

Contains fulltext : 33320.pdf (preprint version ) (Open Access

Measuring Web Session Security at Scale

Calzavara, S.
Jonker, H.
Krumnow, B.
Rabitti, A.

January 2021

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