Static vs. Dynamic validation of BSP conformance
- Stefan Prennschütz-Schützenau
- Nirmal K. Mukhi
- et al.
- 2009
- ICWS 2009
Conference paper
Publications
9 results for Satoshi Hada
XML access control using static analysis
- Makoto Murata
- Akihiko Tozawa
- et al.
- 2006
- ACM TISSEC
PaperZero-knowledge and correlation intractability
- Satoshi Hada
- Toshiaki Tanaka
- 2006
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
PaperA Formal Treatment of Non-repudiation Protocols
- Satoshi Hada
- 2004
- IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
PaperA 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
Conference paperE-P3P privacy policies and privacy authorization
- Paul Ashley
- Satoshi Hada
- et al.
- 2002
- WPES 2002
Conference paperSession authentication protocol for web services
- S. Hada
- H. Maruyama
- 2002
- SAINT 2002
Workshop paperTowards the integration of Web services security on enterprise environments
- Y. Nakamur
- S. Hada
- et al.
- 2002
- SAINT 2002
Workshop paperXML document security based on provisional authorization
- M. Kudo
- S. Hada
- 2000
- CCS 2000
Conference paper