University of Limerick Institutional Repository

Browsing LERO - UL authors by Author "Franqueira, Virginia N L"

DSpace/Manakin Repository

Browsing LERO - UL authors by Author "Franqueira, Virginia N L"

Sort by: Order: Results:

  • Franqueira, Virginia N L; Tun, Thein Than; Yu, Yijun; Wieringa, Roel; 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 DSpace


Advanced Search

Browse

My Account