Matches in SemOpenAlex for { <https://semopenalex.org/work/W366358706> ?p ?o ?g. }
Showing items 1 to 70 of
70
with 100 items per page.
- W366358706 endingPage "16" @default.
- W366358706 startingPage "1" @default.
- W366358706 abstract "Liferay is the leading opensource portal for the enterprise, implementing a role-based access control (RBAC) mechanism for user and content management. Despite its critical importance, however, the access control system implemented in Liferay is poorly documented and lacks automated tools to assist portal administrators in configuring it correctly. To make matters worse, although strongly based on the RBAC model and named around it, the access control mechanism implemented in Liferay has a number of unconventional features, which significantly complicate verification. In this paper we introduce a formal semantics for Liferay RBAC and we propose a verification technique based on abstract model-checking, discussing sufficient conditions for the soundness and the completeness of the analysis. We then present a tool, called LifeRBAC, which implements our theory to verify the security of real Liferay portals. We show that the tool is effective at proving the absence of security flaws, while efficient enough to be of practical use." @default.
- W366358706 created "2016-06-24" @default.
- W366358706 creator A5051514881 @default.
- W366358706 creator A5077037306 @default.
- W366358706 creator A5084675121 @default.
- W366358706 date "2015-01-01" @default.
- W366358706 modified "2023-09-27" @default.
- W366358706 title "Formal Verification of Liferay RBAC" @default.
- W366358706 cites W1489487975 @default.
- W366358706 cites W1518747853 @default.
- W366358706 cites W1562440377 @default.
- W366358706 cites W1603921769 @default.
- W366358706 cites W1975156286 @default.
- W366358706 cites W1975584929 @default.
- W366358706 cites W1982470463 @default.
- W366358706 cites W1997862012 @default.
- W366358706 cites W1998568597 @default.
- W366358706 cites W2015653806 @default.
- W366358706 cites W2037008847 @default.
- W366358706 cites W2044968788 @default.
- W366358706 cites W2049595656 @default.
- W366358706 cites W2117189826 @default.
- W366358706 cites W2131242159 @default.
- W366358706 cites W2152053098 @default.
- W366358706 cites W2154765153 @default.
- W366358706 cites W2211424907 @default.
- W366358706 cites W2270641486 @default.
- W366358706 cites W3105116128 @default.
- W366358706 doi "https://doi.org/10.1007/978-3-319-15618-7_1" @default.
- W366358706 hasPublicationYear "2015" @default.
- W366358706 type Work @default.
- W366358706 sameAs 366358706 @default.
- W366358706 citedByCount "2" @default.
- W366358706 countsByYear W3663587062015 @default.
- W366358706 countsByYear W3663587062022 @default.
- W366358706 crossrefType "book-chapter" @default.
- W366358706 hasAuthorship W366358706A5051514881 @default.
- W366358706 hasAuthorship W366358706A5077037306 @default.
- W366358706 hasAuthorship W366358706A5084675121 @default.
- W366358706 hasBestOaLocation W3663587062 @default.
- W366358706 hasConcept C199360897 @default.
- W366358706 hasConcept C38652104 @default.
- W366358706 hasConcept C41008148 @default.
- W366358706 hasConcept C45567728 @default.
- W366358706 hasConcept C527821871 @default.
- W366358706 hasConceptScore W366358706C199360897 @default.
- W366358706 hasConceptScore W366358706C38652104 @default.
- W366358706 hasConceptScore W366358706C41008148 @default.
- W366358706 hasConceptScore W366358706C45567728 @default.
- W366358706 hasConceptScore W366358706C527821871 @default.
- W366358706 hasLocation W3663587061 @default.
- W366358706 hasLocation W3663587062 @default.
- W366358706 hasOpenAccess W366358706 @default.
- W366358706 hasPrimaryLocation W3663587061 @default.
- W366358706 hasRelatedWork W1527862632 @default.
- W366358706 hasRelatedWork W2109507516 @default.
- W366358706 hasRelatedWork W2112962394 @default.
- W366358706 hasRelatedWork W2118300983 @default.
- W366358706 hasRelatedWork W2135396778 @default.
- W366358706 hasRelatedWork W2375468217 @default.
- W366358706 hasRelatedWork W2385885240 @default.
- W366358706 hasRelatedWork W2782637444 @default.
- W366358706 hasRelatedWork W3137189469 @default.
- W366358706 hasRelatedWork W4243252198 @default.
- W366358706 isParatext "false" @default.
- W366358706 isRetracted "false" @default.
- W366358706 magId "366358706" @default.
- W366358706 workType "book-chapter" @default.