Stefano Campanelli, Alessandro Falleni, F. Martinelli, M. Petrocchi, A. Vaccarelli
{"title":"电子投票系统的移动实现和正式验证","authors":"Stefano Campanelli, Alessandro Falleni, F. Martinelli, M. Petrocchi, A. Vaccarelli","doi":"10.1109/ICIW.2008.77","DOIUrl":null,"url":null,"abstract":"We propose a mobile implementation of an e-voting protocol. We also provide a formal analysis to validate a security property of our system.","PeriodicalId":139145,"journal":{"name":"2008 Third International Conference on Internet and Web Applications and Services","volume":"160 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2008-06-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"18","resultStr":"{\"title\":\"Mobile Implementation and Formal Verification of an e-Voting System\",\"authors\":\"Stefano Campanelli, Alessandro Falleni, F. Martinelli, M. Petrocchi, A. Vaccarelli\",\"doi\":\"10.1109/ICIW.2008.77\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We propose a mobile implementation of an e-voting protocol. We also provide a formal analysis to validate a security property of our system.\",\"PeriodicalId\":139145,\"journal\":{\"name\":\"2008 Third International Conference on Internet and Web Applications and Services\",\"volume\":\"160 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2008-06-08\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"18\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2008 Third International Conference on Internet and Web Applications and Services\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ICIW.2008.77\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2008 Third International Conference on Internet and Web Applications and Services","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ICIW.2008.77","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
