×

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

最新的 引文 关联
季马科夫，A.A。

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

程序。计算。柔和。 48，第4期，265-285（2022）; 译自Programmirovanie 48，No.4，27-49（2022）。
MSC公司：第68页，共15页 68平方米25 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）
全文： 内政部
多伊纳·班丘;伊奥努·皮特;三都，伊奥努ţ

的安全挑战。RO领域是信息社会的核心。 （英语） Zbl 1399.94083号

牛市。Transilv公司。Brașov大学，Ser。三、 数学。通知。物理学。 10（59），第1期，193-202（2017）.
MSC公司：94A99型 68英里11
PDF格式BibTeX公司 XML格式引用
\textit{D.Banciu}等人，公牛。Transilv公司。Brașov大学，Ser。三、 数学。通知。物理学。10（59），第1号，193--202（2017；Zbl 1399.94083）
Minh-Thai Trinh;朱德海普;德克萨斯州贾法

递归定义字符串的渐进推理。 （英语） Zbl 1411.68031号

Chaudhuri，Swarat（编辑）等人，《计算机辅助验证》。第28届国际会议，CAV 2016，加拿大安大略省多伦多，2016年7月17日至23日。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。9779, 218-240 (2016).
MSC公司：68号30 68瓦32
PDF格式BibTeX公司 XML格式引用
\textit{M.-T.Trinh}等人，Lect。注释计算。科学。9779、218--240（2016；Zbl 1411.68031）
全文： 内政部
李孟浩;杨亮（Yang，Liang）;袁子目;张瑞;薛睿

一种缓解实际SSO系统中潜在威胁的方法。 （英语） Zbl 1409.94889号

Lin，Dongdai（编辑）等人，《信息安全与密码学》。第十一届国际会议，Inscrypt 2015，中国北京，2015年11月1日至3日。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。9589209-226（2016年）。
MSC公司：94A60型 68英里11
PDF格式BibTeX公司 XML格式引用
\textit{M.Li}等人，Lect。注释计算。科学。9589，209--226（2016；Zbl 1409.94889）
全文： 内政部
卡里姆·达赫马尼;马霍布·朗加;Riadh罗巴纳

编排的web服务对话的正式动态验证。 （英语） 兹比尔1388.94044

Au，Man-Ho（编辑）等人，《可证明安全性》。第九届国际会议，ProvSec 2015，日本金泽，2015年11月24日至26日。诉讼程序。查姆：施普林格（ISBN 978-3-319-26058-7/pbk；978-3-3169-26059-4/电子书）。计算机科学课堂讲稿9451，340-353（2015）。
MSC公司：94A60型 68英里11
PDF格式BibTeX公司 XML格式引用
\textit{K.Dahmani}等人，Lect。注释计算。科学。9451340-353（2015年；Zbl 1388.94044）
全文： 内政部
巴尔卡、伊泽丁;苏吉斯·塞缪尔·马修;亚西内·阿蒂夫

使用基于角色的访问控制保护物联网。 （英语） 兹比尔1459.68012

El Hajji，Said（编辑）等人，《代码、密码学和信息安全》。2015年5月26日至28日在摩洛哥拉巴特举行的C2SI 2015第一届国际会议。会议记录——为纪念蒂埃里·伯杰。查姆：斯普林格。莱克特。注释计算。科学。9084, 14-26 (2015).
MSC公司：68英里11 68平方米25 68第27页 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{E.Barka}等人，Lect。注释计算。科学。9084，14-26（2015；Zbl 1459.68012）
全文： 内政部 链接
雷，唐纳德;杰·利加蒂

定义代码注入攻击。 （英语） 兹比尔1321.68035

2012年1月22日至28日，美国宾夕法尼亚州费城，POPL'12，第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1083-3）。179-190 (2012).
MSC公司：68英里11 68甲15 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{D.Ray}和\textit{J.Ligatti}，摘自：第39届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'12，美国宾夕法尼亚州费城，2012年1月22日至28日。纽约州纽约市：计算机协会（ACM）。179-190（2012年；Zbl 1321.68035）
全文： 内政部
托马斯·奥斯汀。;科马克·弗拉纳根

动态信息流的多个方面。 （英语） Zbl 1321.68034号

2012年1月22日至28日，美国宾夕法尼亚州费城，POPL'12，第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-1083-3）。165-178（2012年）。
MSC公司：68英里11 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{T.H.Austin}和\textit{C.Flanagan}，in：第39届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL’12，美国宾夕法尼亚州费城，2012年1月22日至28日。纽约州纽约市：计算机协会（ACM）。165--178（2012；Zbl 1321.68034）
全文： 内政部 链接
约瑟夫·特雷格里亚;安吉拉·拉姆纳林·里克斯;李·麦克奈特

虚拟联盟在无线电网创新试验台上的合作。 （英语） Zbl 1188.68057号

Doulamis，T.（编辑）等人，《网格应用的网络》。第三届国际ICST会议，GridNets 2009，希腊雅典，2009年9月8日至9日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-11732-9/pbk；978-3-642-11733-6/ebook）。计算机科学、社会信息学和电信工程研究所课堂讲稿25，139-146（2010）。
MSC公司：68M10个
PDF格式BibTeX公司 XML格式引用
\textit{J.Treglia}等人，in：网格应用的网络。第三届国际ICST会议，GridNets 2009，希腊雅典，2009年9月8-9日。修订了选定的论文。柏林：斯普林格。139-146（2010年；Zbl 1188.68057）
全文： 内政部
苏迪普·米斯拉（编辑）;米斯拉，苏巴斯·钱德拉（编辑）;伊萨克·旺冈（编辑）

通信网络和分配系统的选定主题。 （英语） Zbl 1209.68018号

新泽西州哈肯萨克：世界科学（ISBN 978-981-283-943-5/hbk；978-981-2 83-944-2/电子书）。vii，第799页。(2010).
MSC公司：68M10个 68个M12 68-06 68平方米 64岁以下 68米15
PDF格式BibTeX公司 XML格式引用
\textit{S.Misra}（编辑）等人，《通信网络和配电系统中的选定主题》。新泽西州哈肯萨克：《世界科学》（2010；Zbl 1209.68018）
阿米尔·瓦希德·达斯特杰迪;Gholam Hassan说，Tabatabaei;万·M·N·万·卡迪尔;苏哈伊米·易卜拉欣;萨拉菲安，埃拉赫

SCAIMO—在语义web服务组合中启用安全性的案例。 （英语） Zbl 1213.68110号

Ślȩzak，Dominik（编辑）等人，网格和分布式计算。2009年12月10日至12日，作为未来一代信息技术会议（FGIT 2009）的一部分，在韩国济州岛举行了GDC 2009国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-10548-7/pbk；978-3-442-10549-4/电子书）。计算机和信息科学中的通信63，65-72（2009）。
MSC公司：68英里11
PDF格式BibTeX公司 XML格式引用
\textit{A.V.Dastjerdi}等人，Commun。计算。信息科学。63，65-72（2009年；兹bl 1213.68110）
全文： 内政部
王，江;阿努普·戈什;黄，Yih

网络金丝雀：一种虚拟化Web浏览器，支持在检测恶意网站时进行大规模静默协作。 （英语） Zbl 1186.68037号

Bertino，Elisa（编辑）等人，《协作计算：网络、应用程序和工作共享》，第四届国际ICST会议，2008年CollaborateCom，美国佛罗里达州奥兰多，2008年11月13日至16日。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-03353-7/pbk；978-3-442-03354-4/电子书）。计算机科学、社会信息学和电信工程研究所的课堂讲稿10，24-33（2009）。
MSC公司：68英里11 68N25号 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{J.Wang}等人，in：协作计算：网络、应用程序和工作共享。第四届国际ICST会议，2008年CollaborateCom，美国佛罗里达州奥兰多，2008年11月13-16日。修订了选定的论文。柏林：斯普林格。24-33（2009年；Zbl 1186.68037）
全文： 内政部
亚尼克·骑士;丹尼斯·卢吉兹;米歇尔·鲁西诺维奇

实现web服务安全性的自动分析。 （英语） Zbl 1148.68315号

Konev，Boris（编辑）等人，《组合系统的前沿》。第六届国际研讨会，FroCoS 2007，英国利物浦，2007年9月10日至12日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-74620-1/pbk）。计算机科学课堂讲稿4720。人工智能课堂讲稿，133-147（2007）。
MSC公司：68M10个 68个M12 68第25页
PDF格式BibTeX公司 XML格式引用
\textit{Y.Chevalier}等人，Lect。注释计算。科学。4720、133--147（2007年；Zbl 1148.68315）
全文： 内政部
安德鲁·布莱思（编辑）;伊恩·萨瑟兰（编辑）

EC2ND 2006年。第二届欧洲计算机网络防御会议记录，以及第一次数字取证和事件分析研讨会。 （英语） Zbl 1138.68315号

伦敦：施普林格出版社（ISBN 978-1-84628-749-7/pbk）。viii，125页。(2007).
MSC公司：68M10个 68-06 00B25型 68第25页
PDF格式BibTeX公司 XML格式引用
\textit{A.Blyth}（编辑）和\textit{I.Sutherland}（编），EC2ND 2006。第二届欧洲计算机网络防御会议记录，以及第一次数字取证和事件分析研讨会。伦敦：Springer（2007；Zbl 1138.68315）
劳拉·C·里韦罗。（编辑）;Jorge H.Doorn。（编辑）;维维亚娜·费拉金（Viviana E.Ferraggine）。（编辑）

数据库技术和应用百科全书。 （英语） Zbl 1140.68017号

创意小组参考。宾夕法尼亚州好时：Idea Group（ISBN 1-59140-560-2/hbk）。xix，第744页。，索引20页。(2006).
审核人：沃尔特劳德·格哈特（代尔夫特）
MSC公司：第68页，共15页 68-00 68-06
PDF格式BibTeX公司 XML格式引用
\textit{L.C.Rivero}（编辑）等人，数据库技术和应用百科全书。宾夕法尼亚州好时：Idea Group（2006；Zbl 1140.68017）
安德鲁·布莱思（编辑）

EC2ND 2005年。2005年12月15日至16日在英国威尔士格拉摩根举行的第一届欧洲计算机网络防御会议记录。 （英语） Zbl 1088.68506号

伦敦：施普林格（ISBN 1-84628-311-6/pbk）。ix，第296页。(2006).
MSC公司：68M10个 68-06 00B25型 68第25页
PDF格式BibTeX公司 XML格式引用
\textit{A.Blyth}（编辑），EC2ND 2005。第一届欧洲计算机网络防御会议记录，2005年12月15日至16日，英国威尔士格拉摩根。伦敦：施普林格出版社（2006；Zbl 1088.68506）
卡尔蒂基扬·巴尔干;塞德里克·Fornet;安德鲁·戈登。

web服务身份验证的语义。 （英语） Zbl 1325.68140号

2004年1月14日至16日在意大利威尼斯举行的第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-729-X）。198-209 (2004).
MSC公司：60年第68季度 68英里11 68个M12 94A60型 94A62型
PDF格式BibTeX公司 XML格式引用
\textit{K.Bhargavan}等人，in：第31届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，POPL'04，意大利威尼斯，2004年1月14-16日。纽约州纽约市：计算机协会（ACM）。198-209（2004年；Zbl 1325.68140）
全文： 内政部 链接
杨琼菲尔;Kyung-Hyune李

基于证书的改进安全cookie的设计与实现。 （英语） Zbl 1033.94565号

Menezes，Alfred（编辑）等人，《密码学进展——INDOCRYPT 2002》。第三届印度密码学国际会议，印度海得拉巴，2002年12月16-18日。诉讼程序。柏林：施普林格出版社（ISBN 3-540-00263-4/pbk）。莱克特。注释计算。科学。2551, 314-325 (2002).
MSC公司：94A62型 94A60型 68单位35
PDF格式BibTeX公司 XML格式引用
\textit{J.-P.Yang}和\textit{K.-H.Rhee}，莱克特。注释计算。科学。2551、314--325（2002年；Zbl 1033.94565）
全文： 链接
沃拉普拉内·库·史密斯;米切尔，克里斯

增强Cookie的安全性。 （英语） Zbl 0994.68585号

Kim，Kwangjo（编辑），信息安全和密码学-ICISC 2001。第四届国际会议，韩国首尔，2001年12月6日至7日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。2288, 132-145 (2002).
MSC公司：68单位99 68M10个 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{V.Khu-smith}和\textit{C.Mitchell}，莱克特。注释计算。科学。2288132--145（2002年；Zbl 0994.68585）
陈立群;毛文波

web广告应用程序的可审核计量方案。 （英语） Zbl 1042.68560号

Davida，George I.（编辑）等人，《信息安全》。2001年10月1日至3日在西班牙马拉加举行的第四届国际会议，ISC 2001。诉讼程序。柏林：施普林格出版社（ISBN 3-540-42662-0）。莱克特。注释计算。科学。2200, 475-485 (2001).
MSC公司：68第25页 68M10个
PDF格式BibTeX公司 XML格式引用
\textit｛L.Chen｝和\textit｛W.Mao｝，Lect。注释计算。科学。2200475-485（2001；Zbl 1042.68560）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件