原创力文档- 5
- 0
- 约 12页
- 2017-05-08 发布于上海
- 举报
Verifying Probabilistic Correctness in Isabelle with pGCL 英文论文文献
VerifyingProbabilisticCorrectness
inIsabellewithpGCL
DavidCock
NICTA
Sydney,Australia?
SchoolofComputerScienceandEngineering
UniversityofNewSouthWales
David.Cock@.au
This paper presents a formalisation of pGCL in Isabelle/HOL. Using a shallow embedding, we
demonstratecloseintegrationwithexistingautomationsupport. Wedemonstratethefacilitywith
whichthemodelcanbeextendedtoincorporateexistingresults,includingthoseoftheL4.veri?ed
project.Wemotivatetheapplicabilityoftheformalismtothemechanicalveri?cationofprobabilistic
securityproperties,includingtheeffectivenessofside-channelcountermeasuresinrea
您可能关注的文档
- Varicella and Herpes Zoster in Madrid, based on the Sentinel General Practitioner Network 1997–2004 英文论文文献.doc
- Variations in Mre11Rad50Nbs1 status and DNA damage-induced S-phase arrest in the cell lines of the NCI60 panel 英文论文文献.doc
- Varicella vaccination coverage of children under two years of age in Germany 英文论文文献.doc
- VariVis a visualisation toolkit for variation databases 英文论文文献.doc
- Variations on a theme diversification of cuticular hydrocarbons in a clade of cactophilic Drosophila 英文论文文献.doc
- Varicella susceptibility and transmission dynamics in Slovenia 英文论文文献.doc
- Varicose a MAGUK required for the maturation and function of Drosophila septate junctions 英文论文文献.doc
- Variations in the NBNNBS1 gene and the risk of breast cancer in non-BRCA12 French Canadian families with high risk of breast cancer 英文论文文献.doc
- Varikozele Klinik und Therapie 英文论文文献.doc
- VASCo computation and visualization of annotated protein surface contacts 英文论文文献.doc
- 2026年新能源光伏组件钙钛矿技术行业报告.docx
- 2026年元宇宙虚拟社交平台发展报告及未来五至十年沉浸式体验报告.docx
- 2026年3D打印医疗领域报告及未来五至十年手术辅助报告.docx
- 2026年智慧养老监护创新报告及未来五至十年健康服务报告.docx
- 2026年化妆刷营销行业创新报告：化妆刷电商创新推广报告.docx
- 2026年基因编辑技术伦理与监管报告及未来五至十年医学应用报告.docx
- 2026年安防业AI视频监控技术报告.docx
- 2026年脑机接口医疗应用报告及未来五至十年康复效果报告.docx
- 2026年工业机器人视觉识别报告及未来五至十年协作机器人报告.docx
- 2026年量子计算商业应用报告及未来五至十年量子加密技术报告.docx
文档评论（0）