• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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