• Login
    View Item 
    •   DORA Home
    • Faculty of Computing, Engineering and Media
    • School of Computer Science and Informatics
    • View Item
    •   DORA Home
    • Faculty of Computing, Engineering and Media
    • School of Computer Science and Informatics
    • View Item
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Analysis and run-time verification of dynamic security policies.

    Thumbnail
    Date
    2006
    Author
    Janicke, Helge;
    Siewe, Francois;
    Jones, Kevin;
    Cau, A. (Antonio);
    Zedan, Hussein
    Metadata
    Show attachments and full item record
    Citation : Janicke, H. et al, (2006) Analysis and run-time verification of dynamic security policies. Lecture notes in Artificial Intelligence, 3890, pp. 92-103.
    URI
    http://hdl.handle.net/2086/3545
    DOI
    http://dx.doi.org/10.1007/11683704_8
    ISBN : 3540328327
    ISSN : 0302-9743
    Research Group : Software Technology Research Laboratory (STRL)
    Research Institute : Cyber Technology Institute (CTI)
    Collections
    • School of Computer Science and Informatics [2978]

    Submission Guide | Reporting Guide | Reporting Tool | DMU Open Access Libguide | Take Down Policy | Connect with DORA
    DMU LIbrary
     

     

    Browse

    All of DORACommunities & CollectionsAuthorsTitlesSubjects/KeywordsResearch InstituteBy Publication DateBy Submission DateThis CollectionAuthorsTitlesSubjects/KeywordsResearch InstituteBy Publication DateBy Submission Date

    My Account

    Login

    Submission Guide | Reporting Guide | Reporting Tool | DMU Open Access Libguide | Take Down Policy | Connect with DORA
    DMU LIbrary