Jump to main content

yr 〜
yr

Search results 2

Security assurance methods for access control systems using static analysis

Security assurance methods for access control systems using static analysis
Digital博士論文
國信, 茂太Nara Institute of Science and Technology2004-03-24
Other Libraries in Japan
  • Subject HeadingAccess control Policy Information flow analysis Security verification Model checking

Security verification of programs with stack inspection

Security verification of programs with stack inspection
Digital博士論文
新田, 直也Nara Institute of Science and Technology2002-03-22
Other Libraries in Japan
  • Subject Headingaccess control security verification stack inspection Java indexed...

Reached to the end of result.

RSS