External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Security Weaknesses Detection by Symbolic Analysis of Scenarios

Boutheina Bannour, Jose Pablo Escobedo, Christophe Gaston, Pascale Le Gall, Gabriel Pedroza. Security Weaknesses Detection by Symbolic Analysis of Scenarios. In Sungdeok (Steve) Cha, Yann-Gaël Guéhéneuc, Gihwon Kwon, editors, 21st Asia-Pacific Software Engineering Conference, APSEC 2014, Jeju, South Korea, December 1-4, 2014. Volume 1: Research Papers. pages 367-374, IEEE, 2014. [doi]

Authors

Boutheina Bannour

This author has not been identified. Look up 'Boutheina Bannour' in Google

Jose Pablo Escobedo

This author has not been identified. Look up 'Jose Pablo Escobedo' in Google

Christophe Gaston

This author has not been identified. Look up 'Christophe Gaston' in Google

Pascale Le Gall

This author has not been identified. Look up 'Pascale Le Gall' in Google

Gabriel Pedroza

This author has not been identified. Look up 'Gabriel Pedroza' in Google
runs on