Matches in SemOpenAlex for { <https://semopenalex.org/work/W149040667> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W149040667 abstract "Deploying a system in a safe and secure manner requires ensuring the tech- nical and procedural levels of assurance also with respect to social and regu- latory frameworks. This is because threats and attacks may not only derive from pitfalls in complex security critical system, but also from ill-designed procedures. However, existing methodologies are not mature enough to em- brace procedural implications and the need for multidisciplinary approach on the safe and secure operation of system. This is particularly common in electronic voting (e-voting) systems.This dissertation focuses along two lines. First, we propose an approach to guarantee a reasonable security to the overall systems by performing for- mal procedural security analysis. We apply existing techniques and define novel methodologies and approaches for the analysis and verification of procedural rich systems. This includes not only the definition of adequate modeling convention, but also the definition of general techniques for the injection of attacks, and for the transformation of process models into rep- resentations that can be given as input to model checkers. With this it is possible to understand and highlight how the switch to the new tech- nological solution changes security, with the ultimate goal of defining the procedures regulating system and system processes that ensure a sufficient level of security for the system as well as for its procedures.We then investigate the usage of formal methods to study and analyze the strength and weaknesses of currently deployed (e-voting) system in order to build the next generation (e-voting) systems. More specifically, we show how formal verification techniques can be used to model and reason about the security of an existing e-voting system. To do that, we reuse the methodology propose for procedural security analysis. The practical applicability of the approaches is demonstrated in several case studies fromthe domain of public administrations in general and in e-voting system in particular. With this it can be possible to build more secure, reliable, and trustworthy e-voting system." @default.
- W149040667 created "2016-06-24" @default.
- W149040667 creator A5040195857 @default.
- W149040667 date "2010-03-30" @default.
- W149040667 modified "2023-09-23" @default.
- W149040667 title "Using Formal Methods for Building more Reliable and Secure e-voting Systems" @default.
- W149040667 hasPublicationYear "2010" @default.
- W149040667 type Work @default.
- W149040667 sameAs 149040667 @default.
- W149040667 citedByCount "0" @default.
- W149040667 crossrefType "dissertation" @default.
- W149040667 hasAuthorship W149040667A5040195857 @default.
- W149040667 hasConcept C111919701 @default.
- W149040667 hasConcept C112930515 @default.
- W149040667 hasConcept C127413603 @default.
- W149040667 hasConcept C144133560 @default.
- W149040667 hasConcept C17744445 @default.
- W149040667 hasConcept C195094911 @default.
- W149040667 hasConcept C199539241 @default.
- W149040667 hasConcept C2780612046 @default.
- W149040667 hasConcept C38652104 @default.
- W149040667 hasConcept C41008148 @default.
- W149040667 hasConcept C520049643 @default.
- W149040667 hasConcept C94625758 @default.
- W149040667 hasConcept C98045186 @default.
- W149040667 hasConceptScore W149040667C111919701 @default.
- W149040667 hasConceptScore W149040667C112930515 @default.
- W149040667 hasConceptScore W149040667C127413603 @default.
- W149040667 hasConceptScore W149040667C144133560 @default.
- W149040667 hasConceptScore W149040667C17744445 @default.
- W149040667 hasConceptScore W149040667C195094911 @default.
- W149040667 hasConceptScore W149040667C199539241 @default.
- W149040667 hasConceptScore W149040667C2780612046 @default.
- W149040667 hasConceptScore W149040667C38652104 @default.
- W149040667 hasConceptScore W149040667C41008148 @default.
- W149040667 hasConceptScore W149040667C520049643 @default.
- W149040667 hasConceptScore W149040667C94625758 @default.
- W149040667 hasConceptScore W149040667C98045186 @default.
- W149040667 hasLocation W1490406671 @default.
- W149040667 hasOpenAccess W149040667 @default.
- W149040667 hasPrimaryLocation W1490406671 @default.
- W149040667 hasRelatedWork W140216853 @default.
- W149040667 hasRelatedWork W1603425092 @default.
- W149040667 hasRelatedWork W1927463539 @default.
- W149040667 hasRelatedWork W1986132336 @default.
- W149040667 hasRelatedWork W2025932641 @default.
- W149040667 hasRelatedWork W2055789361 @default.
- W149040667 hasRelatedWork W2064072875 @default.
- W149040667 hasRelatedWork W2075694432 @default.
- W149040667 hasRelatedWork W2078635913 @default.
- W149040667 hasRelatedWork W2087051975 @default.
- W149040667 hasRelatedWork W2088405928 @default.
- W149040667 hasRelatedWork W2102121656 @default.
- W149040667 hasRelatedWork W2148336220 @default.
- W149040667 hasRelatedWork W2159603360 @default.
- W149040667 hasRelatedWork W2168599422 @default.
- W149040667 hasRelatedWork W2419220129 @default.
- W149040667 hasRelatedWork W2484840843 @default.
- W149040667 hasRelatedWork W3109195496 @default.
- W149040667 hasRelatedWork W909468889 @default.
- W149040667 hasRelatedWork W2147641193 @default.
- W149040667 isParatext "false" @default.
- W149040667 isRetracted "false" @default.
- W149040667 magId "149040667" @default.
- W149040667 workType "dissertation" @default.