@inproceedings{FanMasuharaAotanietal.2010,
  author    = {Yang Fan and Hidehiko Masuhara and Tomoyuki Aotani and Flemming Nielson and Hanne Riis Nielson},
  title     = {AspectKE*: Security aspects with program analysis for distributed systems},
  year      = {2010},
}