University of Limerick Institutional Repository

Browsing Faculty of Science and Engineering by Author "Wieringa, Roel J."

DSpace Repository

Browsing Faculty of Science and Engineering by Author "Wieringa, Roel J."

Sort by: Order: Results:

  • Yu, Yijun; Franqueira, Virginia N.L.; Tun, Thein Than; Wieringa, Roel J.; Nuseibeh, Bashar (Elsevier, 2015)
    Computer-based systems are increasingly being exposed to evolving security threats, which often reveal new vulnerabilities. A formal analysis of the evolving threats is difficult due to a number of practical considerations ...
  • Franqueira, Virginia N.L.; Tun, Thein Than; Yu, Yijun; Wieringa, Roel J.; Nuseibeh, Bashar (IEEE Computer Society, 2011)
    When showing that a software system meets certain security requirements, it is often necessary to work with formal and informal descriptions of the system behavior, vulnerabilities, and the threats from potential attackers. ...

Search ULIR


Browse

My Account

Statistics