Login / Signup

Verification of Security-Relevant Behavior Model and Security Policy for Model-Carrying Code.

Yonglong WeiXiaojuan ZhengJinglei RenXudong ZhengChen SunZhenhao Li
Published in: FGIT-SecTech (2009)
Keyphrases
  • probabilistic model
  • security policies
  • security model