Welcome to my blog. You will find here some ideas about testing of protocols and about modeling these protocols also. At the beginning the primary focus is limited to the domain of electronic document like ePassport and eID.
I’m looking forward to getting your feedbacks and to discussing topics around modelling and testing protocols.