|
Search the dblp DataBase
Hideki Sakurada:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Hideki Sakurada, Yasuyuki Tsukada
A Role-Based Specification of the SET Payment Transaction Protocol. [Citation Graph (0, 0)][DBLP] Network Security, 2001, pp:1-15 [Conf]
- Yoshinobu Kawabe, Ken Mano, Hideki Sakurada, Yasuyuki Tsukada
Theorem-proving anonymity of infinite-state systems. [Citation Graph (0, 0)][DBLP] Inf. Process. Lett., 2007, v:101, n:1, pp:46-51 [Journal]
A Formal Approach to Designing Anonymous Software. [Citation Graph (, )][DBLP]
Anonymity, Privacy, Onymity, and Identity: A Modal Logic Approach. [Citation Graph (, )][DBLP]
Computationally Sound Formalization of Rerandomizable RCCA Secure Encryption. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|