Statistics
Publications
2
Citations
51
H-Index
2
Active since
2005
Affiliations
Imperial College London(Current)
Masaki Yamaoka is an author at Imperial College London specializing in computer science, formal verification, and information security.
Publications per year
2005–2006
2
2
Access Control Policy Analysis Using Free Variable Tableaux
Hiroaki Kamoda, Masaki Yamaoka, Shigeyuki Matsuda et al. · IPSJ Digital Courier · 2006 · 13 citations · Full text
1–2 of 2