J-STAGE Home  >  Publications - Top  > Bibliographic Information

Journal of Information Processing
Vol. 25 (2017) pp. 67-74



In this paper we consider the (legal) representative in governmental ICT services and propose a secure private mail box system in which a message sent to the pupil is re-encrypted by the proxy server. This process enables the representative to decrypt the message. We also show its formal description of the protocols and evaluate the security by ProVerif model checking tool.

Copyright © 2017 by the Information Processing Society of Japan

Article Tools

Share this Article