Publications

9 results for Satoshi Hada

Static vs. Dynamic validation of BSP conformance
- - Stefan Prennschütz-Schützenau
  - Nirmal K. Mukhi
  - et al.
- 2009
- ICWS 2009
XML access control using static analysis
- - Makoto Murata
  - Akihiko Tozawa
  - et al.
- 2006
- ACM TISSEC
Zero-knowledge and correlation intractability
- - Satoshi Hada
  - Toshiaki Tanaka
- 2006
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
A Formal Treatment of Non-repudiation Protocols
- - Satoshi Hada
- 2004
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
A Note on Transformations of Interactive Proofs that Preserve the Prover's Complexity
- - Satoshi Hada
- 2004
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
E-P3P privacy policies and privacy authorization
- - Paul Ashley
  - Satoshi Hada
  - et al.
- 2002
- WPES 2002
Towards the integration of Web services security on enterprise environments
- - Y. Nakamur
  - S. Hada
  - et al.
- 2002
- SAINT 2002
Session authentication protocol for web services
- - S. Hada
  - H. Maruyama
- 2002
- SAINT 2002
XML document security based on provisional authorization
- - M. Kudo
  - S. Hada
- 2000
- CCS 2000