Matches in SemOpenAlex for { <https://semopenalex.org/work/W1972507301> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W1972507301 abstract "We contend that reasoning about knowledge is both natural and pragmatic for verification of electronic voting protocols. We present a model in which desirable properties of elections are naturally expressed using standard knowledge operators, and show that the associated logic is decidable (under reasonable assumptions of bounded agents and nonces)." @default.
- W1972507301 created "2016-06-24" @default.
- W1972507301 creator A5049510914 @default.
- W1972507301 creator A5051075418 @default.
- W1972507301 creator A5075806925 @default.
- W1972507301 date "2007-01-01" @default.
- W1972507301 modified "2023-09-23" @default.
- W1972507301 title "Knowledge-based modelling of voting protocols" @default.
- W1972507301 cites W1479744988 @default.
- W1972507301 cites W1539388770 @default.
- W1972507301 cites W1556118146 @default.
- W1972507301 cites W1557859993 @default.
- W1972507301 cites W1600159979 @default.
- W1972507301 cites W1601001795 @default.
- W1972507301 cites W1667689828 @default.
- W1972507301 cites W170425430 @default.
- W1972507301 cites W1751516141 @default.
- W1972507301 cites W1867986337 @default.
- W1972507301 cites W2003593381 @default.
- W1972507301 cites W2029693536 @default.
- W1972507301 cites W2031618446 @default.
- W1972507301 cites W2126994166 @default.
- W1972507301 cites W2127035198 @default.
- W1972507301 cites W2131895477 @default.
- W1972507301 cites W2146819619 @default.
- W1972507301 cites W2147584309 @default.
- W1972507301 cites W2152976548 @default.
- W1972507301 cites W2162764638 @default.
- W1972507301 cites W2762642064 @default.
- W1972507301 cites W2568817237 @default.
- W1972507301 cites W2615184807 @default.
- W1972507301 doi "https://doi.org/10.1145/1324249.1324261" @default.
- W1972507301 hasPublicationYear "2007" @default.
- W1972507301 type Work @default.
- W1972507301 sameAs 1972507301 @default.
- W1972507301 citedByCount "51" @default.
- W1972507301 countsByYear W19725073012012 @default.
- W1972507301 countsByYear W19725073012013 @default.
- W1972507301 countsByYear W19725073012014 @default.
- W1972507301 countsByYear W19725073012016 @default.
- W1972507301 countsByYear W19725073012017 @default.
- W1972507301 countsByYear W19725073012019 @default.
- W1972507301 countsByYear W19725073012020 @default.
- W1972507301 crossrefType "proceedings-article" @default.
- W1972507301 hasAuthorship W1972507301A5049510914 @default.
- W1972507301 hasAuthorship W1972507301A5051075418 @default.
- W1972507301 hasAuthorship W1972507301A5075806925 @default.
- W1972507301 hasBestOaLocation W19725073012 @default.
- W1972507301 hasConcept C17744445 @default.
- W1972507301 hasConcept C199539241 @default.
- W1972507301 hasConcept C2522767166 @default.
- W1972507301 hasConcept C41008148 @default.
- W1972507301 hasConcept C520049643 @default.
- W1972507301 hasConcept C94625758 @default.
- W1972507301 hasConceptScore W1972507301C17744445 @default.
- W1972507301 hasConceptScore W1972507301C199539241 @default.
- W1972507301 hasConceptScore W1972507301C2522767166 @default.
- W1972507301 hasConceptScore W1972507301C41008148 @default.
- W1972507301 hasConceptScore W1972507301C520049643 @default.
- W1972507301 hasConceptScore W1972507301C94625758 @default.
- W1972507301 hasLocation W19725073011 @default.
- W1972507301 hasLocation W19725073012 @default.
- W1972507301 hasOpenAccess W1972507301 @default.
- W1972507301 hasPrimaryLocation W19725073011 @default.
- W1972507301 hasRelatedWork W2130043461 @default.
- W1972507301 hasRelatedWork W2350741829 @default.
- W1972507301 hasRelatedWork W2358668433 @default.
- W1972507301 hasRelatedWork W2376932109 @default.
- W1972507301 hasRelatedWork W2382290278 @default.
- W1972507301 hasRelatedWork W2390279801 @default.
- W1972507301 hasRelatedWork W2748952813 @default.
- W1972507301 hasRelatedWork W2899084033 @default.
- W1972507301 hasRelatedWork W2899698918 @default.
- W1972507301 hasRelatedWork W2530322880 @default.
- W1972507301 isParatext "false" @default.
- W1972507301 isRetracted "false" @default.
- W1972507301 magId "1972507301" @default.
- W1972507301 workType "article" @default.