Matches in SemOpenAlex for { <https://semopenalex.org/work/W2892267477> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2892267477 abstract "The size of the financial risk, the social repercussions and the legal ramifications resulting from data leakage are of great concern. Some experts believe that poor system designs are to blame. The goal of this thesis is to use applied formal methods to verify that data leakage related confidentiality properties of system designs are satisfied. This thesis presents a practically applicable approach for using Banks's confidentiality framework, instantiated using the Circus notation.The thesis proposes a tool-chain for mechanizing the application of the framework and includes a custom tool and the Isabelle theorem prover that coordinate to verify a given system model. The practical applicability of the mechanization was evaluated by analysing a number of hand-crafted systems having literature related confidentiality requirements. Without any reliable tool for using BCF or any Circus tool that can be extended for the same purpose, it was necessary to build a custom tool. Further, a lack of literature related descriptive case studies on confidentiality in systems compelled us to use hand-written system specifications with literature related confidentiality requirements. The results of this study show that the tool-chain proposed in this thesis is practically applicable in terms of time required. Further, the efficiency of the proposed tool-chain has been shown by comparing the time taken for analysing a system both using the mechanised approach as well as the manual approach." @default.
- W2892267477 created "2018-09-27" @default.
- W2892267477 creator A5006815951 @default.
- W2892267477 date "2016-09-01" @default.
- W2892267477 modified "2023-09-23" @default.
- W2892267477 title "Formal analysis of confidentiality conditions related to data leakage" @default.
- W2892267477 hasPublicationYear "2016" @default.
- W2892267477 type Work @default.
- W2892267477 sameAs 2892267477 @default.
- W2892267477 citedByCount "1" @default.
- W2892267477 countsByYear W28922674772019 @default.
- W2892267477 crossrefType "dissertation" @default.
- W2892267477 hasAuthorship W2892267477A5006815951 @default.
- W2892267477 hasConcept C112930515 @default.
- W2892267477 hasConcept C115903868 @default.
- W2892267477 hasConcept C118552586 @default.
- W2892267477 hasConcept C139719470 @default.
- W2892267477 hasConcept C15744967 @default.
- W2892267477 hasConcept C162324750 @default.
- W2892267477 hasConcept C2522767166 @default.
- W2892267477 hasConcept C2777042071 @default.
- W2892267477 hasConcept C2779201187 @default.
- W2892267477 hasConcept C2781466463 @default.
- W2892267477 hasConcept C33923547 @default.
- W2892267477 hasConcept C38652104 @default.
- W2892267477 hasConcept C41008148 @default.
- W2892267477 hasConcept C45357846 @default.
- W2892267477 hasConcept C71745522 @default.
- W2892267477 hasConcept C71924100 @default.
- W2892267477 hasConcept C94375191 @default.
- W2892267477 hasConceptScore W2892267477C112930515 @default.
- W2892267477 hasConceptScore W2892267477C115903868 @default.
- W2892267477 hasConceptScore W2892267477C118552586 @default.
- W2892267477 hasConceptScore W2892267477C139719470 @default.
- W2892267477 hasConceptScore W2892267477C15744967 @default.
- W2892267477 hasConceptScore W2892267477C162324750 @default.
- W2892267477 hasConceptScore W2892267477C2522767166 @default.
- W2892267477 hasConceptScore W2892267477C2777042071 @default.
- W2892267477 hasConceptScore W2892267477C2779201187 @default.
- W2892267477 hasConceptScore W2892267477C2781466463 @default.
- W2892267477 hasConceptScore W2892267477C33923547 @default.
- W2892267477 hasConceptScore W2892267477C38652104 @default.
- W2892267477 hasConceptScore W2892267477C41008148 @default.
- W2892267477 hasConceptScore W2892267477C45357846 @default.
- W2892267477 hasConceptScore W2892267477C71745522 @default.
- W2892267477 hasConceptScore W2892267477C71924100 @default.
- W2892267477 hasConceptScore W2892267477C94375191 @default.
- W2892267477 hasLocation W28922674771 @default.
- W2892267477 hasOpenAccess W2892267477 @default.
- W2892267477 hasPrimaryLocation W28922674771 @default.
- W2892267477 hasRelatedWork W1669729405 @default.
- W2892267477 hasRelatedWork W1970278969 @default.
- W2892267477 hasRelatedWork W1978502535 @default.
- W2892267477 hasRelatedWork W2046475212 @default.
- W2892267477 hasRelatedWork W2058647323 @default.
- W2892267477 hasRelatedWork W2078866556 @default.
- W2892267477 hasRelatedWork W2086644708 @default.
- W2892267477 hasRelatedWork W2105657528 @default.
- W2892267477 hasRelatedWork W2106417311 @default.
- W2892267477 hasRelatedWork W2165020213 @default.
- W2892267477 hasRelatedWork W2217717994 @default.
- W2892267477 hasRelatedWork W2512335229 @default.
- W2892267477 hasRelatedWork W2620666787 @default.
- W2892267477 hasRelatedWork W2783678835 @default.
- W2892267477 hasRelatedWork W2951927280 @default.
- W2892267477 hasRelatedWork W298569435 @default.
- W2892267477 hasRelatedWork W3003577112 @default.
- W2892267477 hasRelatedWork W4483752 @default.
- W2892267477 hasRelatedWork W649436375 @default.
- W2892267477 hasRelatedWork W961705353 @default.
- W2892267477 isParatext "false" @default.
- W2892267477 isRetracted "false" @default.
- W2892267477 magId "2892267477" @default.
- W2892267477 workType "dissertation" @default.