Matches in SemOpenAlex for { <https://semopenalex.org/work/W2099684947> ?p ?o ?g. }
- W2099684947 abstract "This paper presents an original Model-Driven-Engineering (MDE) approach to support the verification and testing of security properties in dynamic web applications. Based on a previously recovered UML-based fine-grained security model, the approach begins by transforming the model into a Prolog-based formal model. The Prolog model is then checked to verify whether the application conforms to specified access control security properties. We demonstrate the use of our method on the popular open source bulletin board system PhpBB 2.0, in the context of three test scenarios: testing for unauthorized access, web application security maintenance, and web application re-engineering." @default.
- W2099684947 created "2016-06-24" @default.
- W2099684947 creator A5035833427 @default.
- W2099684947 creator A5056585498 @default.
- W2099684947 creator A5064499489 @default.
- W2099684947 date "2012-09-01" @default.
- W2099684947 modified "2023-09-25" @default.
- W2099684947 title "Automated verification of role-based access control security models recovered from dynamic web applications" @default.
- W2099684947 cites W1570605839 @default.
- W2099684947 cites W1600862691 @default.
- W2099684947 cites W1968195039 @default.
- W2099684947 cites W1970560823 @default.
- W2099684947 cites W2001289891 @default.
- W2099684947 cites W2021079739 @default.
- W2099684947 cites W2022941584 @default.
- W2099684947 cites W2063990300 @default.
- W2099684947 cites W2100942157 @default.
- W2099684947 cites W2107370049 @default.
- W2099684947 cites W2111273637 @default.
- W2099684947 cites W2128466029 @default.
- W2099684947 cites W2128512114 @default.
- W2099684947 cites W2134879838 @default.
- W2099684947 cites W2138965497 @default.
- W2099684947 cites W2163868917 @default.
- W2099684947 cites W4236669998 @default.
- W2099684947 doi "https://doi.org/10.1109/wse.2012.6320525" @default.
- W2099684947 hasPublicationYear "2012" @default.
- W2099684947 type Work @default.
- W2099684947 sameAs 2099684947 @default.
- W2099684947 citedByCount "14" @default.
- W2099684947 countsByYear W20996849472012 @default.
- W2099684947 countsByYear W20996849472013 @default.
- W2099684947 countsByYear W20996849472014 @default.
- W2099684947 countsByYear W20996849472016 @default.
- W2099684947 countsByYear W20996849472017 @default.
- W2099684947 countsByYear W20996849472018 @default.
- W2099684947 countsByYear W20996849472021 @default.
- W2099684947 countsByYear W20996849472022 @default.
- W2099684947 crossrefType "proceedings-article" @default.
- W2099684947 hasAuthorship W2099684947A5035833427 @default.
- W2099684947 hasAuthorship W2099684947A5056585498 @default.
- W2099684947 hasAuthorship W2099684947A5064499489 @default.
- W2099684947 hasBestOaLocation W20996849472 @default.
- W2099684947 hasConcept C115903868 @default.
- W2099684947 hasConcept C118643609 @default.
- W2099684947 hasConcept C121822524 @default.
- W2099684947 hasConcept C130436687 @default.
- W2099684947 hasConcept C136764020 @default.
- W2099684947 hasConcept C145644426 @default.
- W2099684947 hasConcept C151730666 @default.
- W2099684947 hasConcept C199360897 @default.
- W2099684947 hasConcept C2777407602 @default.
- W2099684947 hasConcept C2777904410 @default.
- W2099684947 hasConcept C2779343474 @default.
- W2099684947 hasConcept C35578498 @default.
- W2099684947 hasConcept C38652104 @default.
- W2099684947 hasConcept C41008148 @default.
- W2099684947 hasConcept C45567728 @default.
- W2099684947 hasConcept C527821871 @default.
- W2099684947 hasConcept C59241245 @default.
- W2099684947 hasConcept C77088390 @default.
- W2099684947 hasConcept C79373723 @default.
- W2099684947 hasConcept C86803240 @default.
- W2099684947 hasConceptScore W2099684947C115903868 @default.
- W2099684947 hasConceptScore W2099684947C118643609 @default.
- W2099684947 hasConceptScore W2099684947C121822524 @default.
- W2099684947 hasConceptScore W2099684947C130436687 @default.
- W2099684947 hasConceptScore W2099684947C136764020 @default.
- W2099684947 hasConceptScore W2099684947C145644426 @default.
- W2099684947 hasConceptScore W2099684947C151730666 @default.
- W2099684947 hasConceptScore W2099684947C199360897 @default.
- W2099684947 hasConceptScore W2099684947C2777407602 @default.
- W2099684947 hasConceptScore W2099684947C2777904410 @default.
- W2099684947 hasConceptScore W2099684947C2779343474 @default.
- W2099684947 hasConceptScore W2099684947C35578498 @default.
- W2099684947 hasConceptScore W2099684947C38652104 @default.
- W2099684947 hasConceptScore W2099684947C41008148 @default.
- W2099684947 hasConceptScore W2099684947C45567728 @default.
- W2099684947 hasConceptScore W2099684947C527821871 @default.
- W2099684947 hasConceptScore W2099684947C59241245 @default.
- W2099684947 hasConceptScore W2099684947C77088390 @default.
- W2099684947 hasConceptScore W2099684947C79373723 @default.
- W2099684947 hasConceptScore W2099684947C86803240 @default.
- W2099684947 hasLocation W20996849471 @default.
- W2099684947 hasLocation W20996849472 @default.
- W2099684947 hasOpenAccess W2099684947 @default.
- W2099684947 hasPrimaryLocation W20996849471 @default.
- W2099684947 hasRelatedWork W1504877823 @default.
- W2099684947 hasRelatedWork W2094034389 @default.
- W2099684947 hasRelatedWork W2099684947 @default.
- W2099684947 hasRelatedWork W2122779827 @default.
- W2099684947 hasRelatedWork W2132819770 @default.
- W2099684947 hasRelatedWork W2162321325 @default.
- W2099684947 hasRelatedWork W2208052608 @default.
- W2099684947 hasRelatedWork W2356495338 @default.
- W2099684947 hasRelatedWork W2897437193 @default.
- W2099684947 hasRelatedWork W4231555676 @default.
- W2099684947 isParatext "false" @default.
- W2099684947 isRetracted "false" @default.
- W2099684947 magId "2099684947" @default.