Login / Signup

Symbolic algorithmic verification of intransitive generalized noninterference.

Conghua ZhouZhifeng LiuHailing WuSong ChenShiguang Ju
Published in: Sci. China Inf. Sci. (2012)
Keyphrases
  • model checking
  • concurrent systems
  • data sets
  • neural network
  • symbolic representation
  • symbolic description
  • real time
  • case study
  • high level
  • set valued
  • connectionist models
  • symbolic reasoning