Drupal-Biblio47<style face="normal" font="default" size="100%">Can We Support Applications' Evolution in Multi-Application Smart Cards by Security-by-Contract?</style>Drupal-Biblio17<style face="normal" font="default" size="100%">Change Patterns: Co-evolving Requirements and Architecture</style>Drupal-Biblio17<style face="normal" font="default" size="100%">Enhancing Argumentation with Risk Assessment for Achieving Good-Enough Security</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Dynamic Backwards Slicing of Model Transformations</style>Drupal-Biblio10<style face="normal" font="default" size="100%">An Idea of an Independent Validation of Vulnerability Discovery Models</style>Drupal-Biblio10<style face="normal" font="default" size="100%">Maintaining invariant traceability through bidirectional transformations</style>Drupal-Biblio47<style face="normal" font="default" size="100%">A Sound Decision Procedure for the Compositionality of Secrecy</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Sound Formal Verification of Linux's USB BP Keyboard Driver</style>Drupal-Biblio5<style face="normal" font="default" size="100%">State-based Evolution Management of Risk-based System Tests for Service-centric Systems.</style>Drupal-Biblio47<style face="normal" font="default" size="100%">Vérification et Test pour des systèmes évolutifs</style>