×

找到49个文档（结果1-49）

最新的 引文 关联
尼古拉斯·伯蒂尔;Khakpour、Narges

符号抽象堆用于多态信息流保护推断。 （英语） Zbl 1529.68079号

Dragoi，Cezara（编辑）等人，《验证、模型检查和抽象解释》。第24届国际会议，VMCAI 2023，美国马萨诸塞州波士顿，2023年1月16-17日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13881, 66-90 (2023).
MSC公司：68号30 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{N.Berthier}和\textit{N.Khakpour}，莱克特。注释计算。科学。13881、66-90（2023年；Zbl 1529.68079）
全文： 内政部 arXiv公司
阿布·纳赛尔·马苏德

快速增量计算弱控制闭合。 （英语） Zbl 1524.68095号

Singh，Gagandeep（编辑）等人，《静态分析》。第29届国际研讨会，SAS 2022，新西兰奥克兰，2022年12月5-7日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。13790, 325-349 (2022).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.N.Masud}，莱克特。注释计算。科学。13790325-349（2022年；兹比尔1524.68095）
全文： 内政部
季马科夫，A.A。

基于形式验证的软件数据库单元中的信息流控制。 （英语。俄文原件） Zbl 1507.68108号

程序。计算。柔和。 48，第4期，265-285（2022）; 译自Programmirovanie 48，No.4，27-49（2022）。
MSC公司：第68页，共15页 68平方米5 68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.A.Timakov}，程序。计算。柔和。48，No.4，265--285（2022；Zbl 1507.68108）；译自Programmirovanie 48，No.4，27-49（2022）
全文： 内政部
马雷克·查卢帕;大卫·克拉斯卡;斯特雷切克，简;卢卡什托莫维奇

快速计算强控制相关性。 （英语） Zbl 1493.68102号

Silva，Alexandra（编辑）等人，《计算机辅助验证》。第33届国际会议，CAV 2021，虚拟活动，2021年7月20日至23日。诉讼程序。第二部分。查姆：斯普林格。莱克特。注释计算。科学。12760, 887-910 (2021).
MSC公司：68号30 68兰特 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{M.Chalupa}等人，Lect。注释计算。科学。12760887--910（2021年；Zbl 1493.68102）
全文： 内政部 arXiv公司
阿布·纳赛尔·马苏德

最小弱控制闭包的简单有效计算。 （英语） Zbl 1474.68057号

Pichardie，David（编辑）等人，《静态分析》。第27届国际研讨会，SAS 2020，虚拟活动，2020年11月18日至20日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12389, 200-222 (2020).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{A.N.Masud}，莱克特。注释计算。科学。12389，200-222（2020年；Zbl 1474.68057）
全文： 内政部
弗莱明·尼尔森;尼尔森、汉内·里斯

保护受保护的命令。 （英语） 兹比尔1440.68036

Di Pierro，Alessandra（编辑）等人，《通过程序分析从lambda演算到网络安全》。在克里斯·汉金退休之际为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。1206520121-215（2020）。
MSC公司：68平方米25 68第25页 94A60
PDF格式BibTeX公司 XML格式引用
\textit{F.尼尔森}和\textit{H.R.尼尔森，莱克特。注释计算。科学。12065，201-215（2020；Zbl 1440.68036）
全文： 内政部
罗德里克·布洛姆;瑞典雅各布斯;维泽尔，雅基尔

高效的信息流验证—在推测执行下。 （英语） Zbl 1437.68111号

Chen，Yu-Fang（编辑）等，验证和分析自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11781, 499-514 (2019).
MSC公司：60年第68季度 94A60
PDF格式BibTeX公司 XML格式引用
\textit{R.Bloem}等人，Lect。注释计算。科学。11781、499--514（2019年；Zbl 1437.68111）
全文： 内政部
塞萨尔·桑切斯;杰拉尔多·施奈德;沃尔夫冈·阿伦特;埃齐奥·巴托西;多梅尼科·比安库利;克里斯蒂安·科伦坡;伊利耶斯·法尔科内;阿德里安·弗兰卡兰扎;Sr Djan Krstić;Lourenço，Joáo M。;德扬·尼科维奇;戈登·佩斯。;何塞·鲁菲诺;辛戈尔斯，朱利安;德米特里·特拉泰尔;亚历山大·韦斯

高级应用程序域（软件以外）的运行时验证挑战调查。 （英语） Zbl 1425.68268号

形式方法系统。设计。 54，第3号，279-335（2019）.
MSC公司：60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Sánchez}等人，《形式方法系统》。设计。54，第3号，279--335（2019；Zbl 1425.68268）
全文： 内政部 arXiv公司
拉坎·阿尔索瓦伊;伊恩·麦基

使用类型控制文件访问。 （英语） Zbl 1401.68067号

Nigam，Vivek（编辑）等人，《逻辑和语义框架及其应用第11次研讨会论文集》（LSFA 2016），葡萄牙波尔图，2016年。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》332，3-20（2017）。
MSC公司：68第25页 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{R.Alsowail}和\textit{I.Mackie}，电子。注释Theor。计算。科学。332、3--20（2017；Zbl 1401.68067）
全文： 内政部
汉内·里斯·尼尔森;弗莱明·尼尔森;李锡盟

用于析取信息流的霍尔逻辑。 （英语） Zbl 1434.68095号

Bodei，Chiara（编辑）等人，《生物和安全应用编程语言》。在皮耶保罗·德加诺65岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。9465, 47-65 (2015).
MSC公司：68甲19 03B70号 68M10个 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Riis Nielson}等人，Lect。注释计算。科学。9465，47-65（2015；Zbl 1434.68095）
全文： 内政部
马西莫·巴托莱蒂;伊利亚州卡斯特拉尼;Deniélou、Pierre-Malo;马里亚纽拉州Dezani-Ciancaglini;西尔维娅·吉勒赞;约万卡·潘托维奇;佩雷斯（Jorge A.Pérez）。;彼得·蒂曼;伯纳多·托尼霍;雨果·托雷斯·维埃拉

将行为类型与安全分析相结合。 （英语） 兹比尔1330.68045

J.日志。阿尔盖布。方法计划。 84，第6号，763-780（2015）.
MSC公司：68甲19
PDF格式BibTeX公司 XML格式引用
\textit{M.Bartoletti}等人，J.Log。阿尔盖布。方法计划。84，第6号，763-780（2015年；兹bl 1330.68045）
全文： 内政部 arXiv公司
卢埃萨·卢伦索;路易斯·凯恩斯

有值索引数据安全分区的信息流分析。 （英语） Zbl 1348.68019号

Abadi，Martín（编辑）等人，《值得信赖的全球计算》。2013年8月30日至31日在阿根廷布宜诺斯艾利斯举行的第八届TGC国际研讨会。修订了选定的论文。查姆：施普林格（ISBN 978-3-319-05118-5/pbk；978-3-3169-05119-2/电子书）。计算机科学课堂讲稿8358180-198（2014）。
MSC公司：64岁以下 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{L.Lourenço}和\textit{L.Caires}，莱克特。注释计算。科学。8358，180--198（2014；Zbl 1348.68019）
全文： 内政部
本·赛义德、纳贾;塔库阿卜杜拉提夫;萨德克·本萨勒姆;马吕斯·博兹加

基于组件的系统的模型驱动信息流安全。 （英语） Zbl 1416.68014号

Bensalem，Saddek（编辑）等人，《从程序到系统》。计算中的系统观点。ETAPS研讨会，FPS 2014，纪念约瑟夫·西法克斯，法国格勒诺布尔，2014年4月6日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。8415, 1-20 (2014).
MSC公司：2007年7月68日 64岁以下 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Ben Said}等人，Lect。注释计算。科学。8415，1--20（2014；Zbl 1416.68014）
全文： 内政部
塞巴斯蒂安·达尼西奇;理查德·W·巴拉克劳（Richard W.Barraclough）。;马克·哈曼;约翰·霍罗伊德。;亲吻，阿尔科斯;迈克尔·劳伦斯。

控制依赖的统一理论及其在任意程序结构中的应用。 （英语） Zbl 1231.68179号

西奥。计算。科学。 412，第49号，6809-6842（2011）.
MSC公司：68兰特 68号30
PDF格式BibTeX公司 XML格式引用
\textit｛S.Danicic｝等人，Theor。计算。科学。412，第49号，6809--6842（2011；Zbl 1231.68179）
全文： 内政部 链接
塞巴斯蒂安·亨特;大卫·桑兹

通过主体类型从指数到多项式时间的安全类型。 （英语） Zbl 1275.68062号

Barthe，Gilles（编辑），《编程语言和系统》。2011年3月26日至4月3日，在德国萨尔布吕肯举行的第20届欧洲编程研讨会（ESOP 2011），是欧洲软件理论与实践联合会议（ETAPS 2011）的一部分。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-19717-8/pbk）。计算机科学讲座笔记6602297-316（2011）。
MSC公司：68N99型 68第25页
PDF格式BibTeX公司 XML格式引用
\textit{S.Hunt}和\textit{D.Sands}，莱克特。注释计算。科学。6602297-316（2011年；兹比尔1275.68062）
全文： 内政部
毛里西奥·阿尔巴·卡斯特罗;玛丽亚·阿尔普特;圣地亚哥埃斯科瓦尔

重写逻辑中全局不干涉的抽象证明。 （英语） Zbl 1312.68049号

de Boer，Frank S.（编辑）等人，组件和对象的形式化方法。第八届国际研讨会，FMCO 2009，荷兰埃因霍温，2009年11月4日至6日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-17070-6/pbk）。计算机科学课堂讲稿6286，105-124（2010）。
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{M.Alba-Castro}等人，Lect。注释计算。科学。6286、105-124（2010年；Zbl 1312.68049）
全文： 内政部 arXiv公司
朱迪卡·库兰特;克里斯蒂安·埃内;亚辛·拉赫内奇

无干扰的计算声音类型：确定性加密的情况。 （英语） Zbl 1135.68393号

Arvind，V.（ed.）等人，FSTTCS 2007：软件技术和理论计算机科学基础。第27届国际会议，印度新德里，2007年12月12日至14日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-77049-7/pbk）。计算机科学课堂讲稿4855364-375（2007）。
MSC公司：68第25页
PDF格式BibTeX公司 XML格式引用
\textit{J.Courant}等人，Lect。注释计算。科学。4855364--375（2007年；Zbl 1135.68393）
全文： 内政部
吉田、Nobuko

移动计算完整性、保密性和活跃性的基于类型的安全性。 （英语） Zbl 1316.68110号

Aceto，Luca（编辑）等人，《代数过程计算论文》研讨会论文集（APC 25），意大利贝蒂诺罗，2005年8月1日至5日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记162，333-340（2006）。
MSC公司：68问题85 68甲15 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{N.吉田}，电子。注释Theor。计算。科学。162、333--340（2006年；Zbl 1316.68110）
全文： 内政部
格雷戈·斯内尔廷

结合切片和约束求解对测量软件进行验证。 （英语） Zbl 1482.68094号

Cousot，Radhia（编辑）等人，《静态分析》。1996年9月24日至26日，第三届国际研讨会，SAS’96，德国亚琛。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1145, 332-348 (1996).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{G.Snelting}，莱克特。注释计算。科学。1145332-348（1996年；Zbl 1482.68094）
全文： 内政部
彼得·R bk

你能相信你的数据吗？ （英语） Zbl 1496.68114号

Mosses，Peter D.（编辑）等人，《TAPSOFT’95：软件开发的理论与实践》。1995年5月在丹麦奥胡斯举行的第六届CAAP/FASE国际联席会议。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。915, 575-589 (1995).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{P.Ørbk}，莱克特。注释计算。科学。915575-589（1995年；Zbl 1496.68114）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件