( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal System Modelling Using Abstract Data Types in Event-B.

, , , , и . ABZ, том 8477 из Lecture Notes in Computer Science, стр. 222-237. Springer, (2014)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Kunihiko Nagasawa

Shintaro Miyazaki

 

Другие публикации лиц с тем же именем

Gait Analysis Using Stereo Camera in Daily Environment., , , и . EMBC, стр. 1471-1475. IEEE, (2019)Cryptographic Approch for Workflow Systems., , и . II3E, том 286 из IFIP Advances in Information and Communication Technology, стр. 75-86. Springer, (2008)A Multi-OS Approach to Trusted Computer Systems., , , , и . Security Protocols Workshop, том 2467 из Lecture Notes in Computer Science, стр. 107-114. Springer, (2001)A Study on Multi-Resipient Encryptions for Selective Disclosure., , и . Security and Management, стр. 570-575. CSREA Press, (2009)Consistency Verification of Specification Rules., , , , , и . ICFEM, том 9407 из Lecture Notes in Computer Science, стр. 50-66. Springer, (2015)A Fast Scalar Multiplication Method with Randomized Projective Coordinates on a Montgomery-Form Elliptic Curve Secure against Side Channel Attacks., , и . ICISC, том 2288 из Lecture Notes in Computer Science, стр. 428-439. Springer, (2001)Code Generation for Event-B., , , , , и . IFM, том 8739 из Lecture Notes in Computer Science, стр. 323-338. Springer, (2014)Legally Authorized and Unauthorized Digital Evidence., , , , и . Security Protocols Workshop, том 2845 из Lecture Notes in Computer Science, стр. 67-73. Springer, (2002)Digitally signed document sanitizing scheme based on bilinear maps., , и . AsiaCCS, стр. 343-354. ACM, (2006)A Study on Read-Write Protection of a Digital Document by Cryptographic Techniques., , и . MASS, стр. 714-721. IEEE Computer Society, (2009)