Matches in SemOpenAlex for { <https://semopenalex.org/work/W1988211498> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1988211498 abstract "Universities and other educational organizations are adopting computer and Internet-based assessment tools (herein called e-exams) to reach widespread audiences. While this makes examination tests more accessible, it exposes them to new threats. At present, there are very few strategies to check such systems for security, also there is a lack of formal security definitions in this domain. This paper fills this gap: in the formal framework of the applied n-calculus, we define several fundamental authentication and privacy properties and establish the first theoretical framework for the security analysis of e-exam protocols. As proof of concept we analyze two of such protocols with ProVerif. The first “secure electronic exam system” proposed in the literature turns out to have several severe problems. The second protocol, called Remark!, is proved to satisfy all the security properties assuming access control on the bulletin board. We propose a simple protocol modification that removes the need of such assumption though guaranteeing all the security properties." @default.
- W1988211498 created "2016-06-24" @default.
- W1988211498 creator A5006427033 @default.
- W1988211498 creator A5028035029 @default.
- W1988211498 creator A5039109605 @default.
- W1988211498 creator A5070924321 @default.
- W1988211498 creator A5087551010 @default.
- W1988211498 creator A5024799131 @default.
- W1988211498 date "2014-01-01" @default.
- W1988211498 modified "2023-10-13" @default.
- W1988211498 title "Formal Analysis of Electronic Exams" @default.
- W1988211498 cites W1446312191 @default.
- W1988211498 cites W1479677827 @default.
- W1988211498 cites W1571378841 @default.
- W1988211498 cites W1588668163 @default.
- W1988211498 cites W1973054120 @default.
- W1988211498 cites W1980989187 @default.
- W1988211498 cites W2002454538 @default.
- W1988211498 cites W2003595303 @default.
- W1988211498 cites W2012707937 @default.
- W1988211498 cites W202232150 @default.
- W1988211498 cites W2029693536 @default.
- W1988211498 cites W2040879056 @default.
- W1988211498 cites W2047430947 @default.
- W1988211498 cites W2055259417 @default.
- W1988211498 cites W2105024565 @default.
- W1988211498 cites W2108834246 @default.
- W1988211498 cites W2114189125 @default.
- W1988211498 cites W2141420453 @default.
- W1988211498 cites W2142836084 @default.
- W1988211498 cites W2147584309 @default.
- W1988211498 cites W2152907452 @default.
- W1988211498 cites W2159617506 @default.
- W1988211498 cites W2164222678 @default.
- W1988211498 cites W2166313909 @default.
- W1988211498 cites W2166575037 @default.
- W1988211498 cites W2173638604 @default.
- W1988211498 cites W2269328400 @default.
- W1988211498 cites W2404819779 @default.
- W1988211498 cites W2548832091 @default.
- W1988211498 cites W2959792658 @default.
- W1988211498 cites W57605931 @default.
- W1988211498 cites W2989156637 @default.
- W1988211498 doi "https://doi.org/10.5220/0005050901010112" @default.
- W1988211498 hasPublicationYear "2014" @default.
- W1988211498 type Work @default.
- W1988211498 sameAs 1988211498 @default.
- W1988211498 citedByCount "18" @default.
- W1988211498 countsByYear W19882114982014 @default.
- W1988211498 countsByYear W19882114982015 @default.
- W1988211498 countsByYear W19882114982017 @default.
- W1988211498 countsByYear W19882114982018 @default.
- W1988211498 countsByYear W19882114982021 @default.
- W1988211498 countsByYear W19882114982022 @default.
- W1988211498 countsByYear W19882114982023 @default.
- W1988211498 crossrefType "proceedings-article" @default.
- W1988211498 hasAuthorship W1988211498A5006427033 @default.
- W1988211498 hasAuthorship W1988211498A5024799131 @default.
- W1988211498 hasAuthorship W1988211498A5028035029 @default.
- W1988211498 hasAuthorship W1988211498A5039109605 @default.
- W1988211498 hasAuthorship W1988211498A5070924321 @default.
- W1988211498 hasAuthorship W1988211498A5087551010 @default.
- W1988211498 hasBestOaLocation W19882114981 @default.
- W1988211498 hasConcept C41008148 @default.
- W1988211498 hasConceptScore W1988211498C41008148 @default.
- W1988211498 hasLocation W19882114981 @default.
- W1988211498 hasLocation W19882114982 @default.
- W1988211498 hasLocation W19882114983 @default.
- W1988211498 hasLocation W19882114984 @default.
- W1988211498 hasLocation W19882114985 @default.
- W1988211498 hasLocation W19882114986 @default.
- W1988211498 hasOpenAccess W1988211498 @default.
- W1988211498 hasPrimaryLocation W19882114981 @default.
- W1988211498 hasRelatedWork W1596801655 @default.
- W1988211498 hasRelatedWork W2130043461 @default.
- W1988211498 hasRelatedWork W2350741829 @default.
- W1988211498 hasRelatedWork W2358668433 @default.
- W1988211498 hasRelatedWork W2376932109 @default.
- W1988211498 hasRelatedWork W2382290278 @default.
- W1988211498 hasRelatedWork W2390279801 @default.
- W1988211498 hasRelatedWork W2748952813 @default.
- W1988211498 hasRelatedWork W2899084033 @default.
- W1988211498 hasRelatedWork W2530322880 @default.
- W1988211498 isParatext "false" @default.
- W1988211498 isRetracted "false" @default.
- W1988211498 magId "1988211498" @default.
- W1988211498 workType "article" @default.