Synthesis of Reactive(1) designs
- 作者Roderick Bloem; Barbara Jobstmann; Nir Piterman; Amir Pnueli; Yaniv Saʼar
- 卷第78卷
- 期第3期
- 印刷ISSN0022-0000
- 电子ISSN1090-2724
- 文件大小708.29KB
- 发表时间2012
- DOI10.1016/j.jcss.2011.08.007
- 页码911-938
同作者推荐
Attacks and Improvement of an Efficient Remote Mutual Authentication and Key Agreement SchemeHölbl, Marko; Welzer, Tatjana; Brumen, Boštjan · Cryptologia · 2009
Improvement of the Peyravian–Jeffries’s user authentication protocol and password change protocolMarko Hölbl; Tatjana Welzer; Boštjan Brumen · 2008
Two proposed identity-based three-party authenticated key agreement protocols from pairingsMarko Hölbl; Tatjana Welzer; Boštjan Brumen · 2010