Hugging Peers

Architecture-driven Reduction of Specification Overhead for Verifying Confidentiality in Component-based Software Systems

☆ Save
Kateryna Yurchenko,Moritz Behr,Heiko Klare,Max E. Kramer,Ralf Reussner
MoDELS (Satellite Events)
published

Abstract

No abstract available.

Cite this paper

@article{yurchenko2017,
  title = {Architecture-driven Reduction of Specification Overhead for Verifying Confidentiality in Component-based Software Systems},
  author = {Kateryna Yurchenko and Moritz Behr and Heiko Klare and Max E. Kramer and Ralf Reussner},
  journal = {MoDELS (Satellite Events)},
  year = {2017},
  month = {Jan},
}