Concepedia

Shigeyuki Matsuda

SM

Statistics

Publications

2

Citations

51

H-Index

2

Active since

2005

Affiliations

Imperial College London(Current)

Shigeyuki Matsuda is an author at Imperial College London specializing in formal verification, information security, and formal methods.

Top concepts

EngineeringAccess ControlFormal MethodsComputer ScienceProgram AnalysisFormal VerificationInformation SecurityRegulationVerificationData Security

Publications per year

2005–2006

2

Publications

2

Policy Conflict Analysis Using Free Variable Tableaux for Access Control in Web Services Environments

Hiroaki Kamoda, Masaki Yamaoka, Shigeyuki Matsuda et al. · 2005 · 38 citations

Web Service Specification, Engineering, Service Security +19

Access Control Policy Analysis Using Free Variable Tableaux

Hiroaki Kamoda, Masaki Yamaoka, Shigeyuki Matsuda et al. · IPSJ Digital Courier · 2006 · 13 citations · Full text

Engineering, Logical Access Control, Access Method +15

1–2 of 2