| 2007 |
|---|
| 6 | EE | Mika Koganeyama,
Naoshi Tabuchi,
Takaaki Tateishi:
Reducing Unnecessary Conservativeness in Access Rights Analysis with String Analysis.
APSEC 2007: 438-445 |
| 5 | EE | Takaaki Tateishi,
Naoshi Tabuchi:
Secure Behavior of Web Browsers to Prevent Information Leakages.
APSEC 2007: 65-72 |
| 4 | EE | Takaaki Tateishi,
Hisashi Miyashita,
Naoshi Tabuchi,
Shin Saito,
Kouichi Ono:
DHTML Accessibility Checking Based on Static JavaScript Analysis.
HCI (7) 2007: 167-176 |
| 3 | EE | Kouichi Ono,
Yuichi Nakamura,
Fumiko Satoh,
Takaaki Tateishi:
Verifying the Consistency of Security Policies by Abstracting into Security Types.
ICWS 2007: 497-504 |
| 2006 |
|---|
| 2 | EE | Takaaki Tateishi,
Hisashi Miyashita,
Kouichi Ono,
Shin Saito:
Automated Verification Tool for DHTML.
ASE 2006: 363-364 |
| 2001 |
|---|
| 1 | | Toshiaki Aoki,
Takaaki Tateishi,
Takuya Katayama:
An Axiomatic Formalization of UML Models.
pUML 2001: 13-28 |
