Institute for Computing and Information Sciences Radboud University Nijmegen -The Netherlands;
model-based testing; smart cards; Java Card; automatic test generation; executable specification;
机译:在智能卡中开发Trojan小程序
机译:使用智能卡用于网络申请人的高级正式认证协议
机译:一种新的基于智能卡的认证密钥协议方案,为用户匿名提供正式证明
机译:在线上正式测试智能卡小程序
机译:智能卡,努力不力?安大略省智能卡项目中的咨询。
机译:先兆子痫和未来的心血管风险:正式的危险因素或压力测试失败?
机译:智能卡小程序的即时正式测试