发布求助
文献互助 智能选刊 最新文献

International Symposium on Systems Synthesis最新文献

筛选
英文 中文
Decision Procedures for Several Properties of Reactive System Specifications 反应式系统规格若干属性的决策程序
International Symposium on Systems Synthesis Pub Date : 2003-11-04 DOI: 10.1007/978-3-540-37621-7_8
N. Yoshiura
{"title":"Decision Procedures for Several Properties of Reactive System Specifications","authors":"N. Yoshiura","doi":"10.1007/978-3-540-37621-7_8","DOIUrl":"https://doi.org/10.1007/978-3-540-37621-7_8","url":null,"abstract":"","PeriodicalId":118601,"journal":{"name":"International Symposium on Systems Synthesis","volume":"19 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129061089","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Verifying Confidentiality and Authentication in Kerberos 5 验证Kerberos中的机密性和身份验证
International Symposium on Systems Synthesis Pub Date : 2003-11-04 DOI: 10.1007/978-3-540-37621-7_1
F. Butler, I. Cervesato, A. D. Jaggard, A. Scedrov
{"title":"Verifying Confidentiality and Authentication in Kerberos 5","authors":"F. Butler, I. Cervesato, A. D. Jaggard, A. Scedrov","doi":"10.1007/978-3-540-37621-7_1","DOIUrl":"https://doi.org/10.1007/978-3-540-37621-7_1","url":null,"abstract":"","PeriodicalId":118601,"journal":{"name":"International Symposium on Systems Synthesis","volume":"24 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131965557","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 17
SEAS: A Secure E-Voting Applet System 一个安全的电子投票小程序系统
International Symposium on Systems Synthesis Pub Date : 2003-11-04 DOI: 10.1007/978-3-540-37621-7_17
F. Baiardi, Alessandro Falleni, Riccardo Granchi, F. Martinelli, M. Petrocchi, A. Vaccarelli
{"title":"SEAS: A Secure E-Voting Applet System","authors":"F. Baiardi, Alessandro Falleni, Riccardo Granchi, F. Martinelli, M. Petrocchi, A. Vaccarelli","doi":"10.1007/978-3-540-37621-7_17","DOIUrl":"https://doi.org/10.1007/978-3-540-37621-7_17","url":null,"abstract":"","PeriodicalId":118601,"journal":{"name":"International Symposium on Systems Synthesis","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133820139","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
The Interface Definition Language for Fail-Safe C 故障安全的接口定义语言
International Symposium on Systems Synthesis Pub Date : 2003-11-04 DOI: 10.1007/978-3-540-37621-7_10
Kohei Suenaga, Y. Oiwa, Eijiro Sumii, A. Yonezawa
{"title":"The Interface Definition Language for Fail-Safe C","authors":"Kohei Suenaga, Y. Oiwa, Eijiro Sumii, A. Yonezawa","doi":"10.1007/978-3-540-37621-7_10","DOIUrl":"https://doi.org/10.1007/978-3-540-37621-7_10","url":null,"abstract":"","PeriodicalId":118601,"journal":{"name":"International Symposium on Systems Synthesis","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121217537","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
The Design of a Secure Distributed Devices System Based on Immunity 基于免疫的安全分布式设备系统设计
International Symposium on Systems Synthesis Pub Date : 2003-11-04 DOI: 10.1007/978-3-540-37621-7_18
Hiroyuki Nishiyama, Y. Mine, F. Mizoguchi
{"title":"The Design of a Secure Distributed Devices System Based on Immunity","authors":"Hiroyuki Nishiyama, Y. Mine, F. Mizoguchi","doi":"10.1007/978-3-540-37621-7_18","DOIUrl":"https://doi.org/10.1007/978-3-540-37621-7_18","url":null,"abstract":"","PeriodicalId":118601,"journal":{"name":"International Symposium on Systems Synthesis","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127798366","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
A Formal System for Analysis of Cryptographic Encryption and Their Security Properties 密码学加密及其安全特性分析的形式化系统
International Symposium on Systems Synthesis Pub Date : 2003-11-04 DOI: 10.1007/978-3-540-37621-7_5
Ashraf Bhery, Shigeki Hagihara, N. Yonezaki
{"title":"A Formal System for Analysis of Cryptographic Encryption and Their Security Properties","authors":"Ashraf Bhery, Shigeki Hagihara, N. Yonezaki","doi":"10.1007/978-3-540-37621-7_5","DOIUrl":"https://doi.org/10.1007/978-3-540-37621-7_5","url":null,"abstract":"","PeriodicalId":118601,"journal":{"name":"International Symposium on Systems Synthesis","volume":"63 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-11-04","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121091930","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Managing Information Technology Security Risk 管理资讯科技保安风险
International Symposium on Systems Synthesis Pub Date : 2003-11-01 DOI: 10.1007/978-3-540-37621-7_16
D. Gilliam
{"title":"Managing Information Technology Security Risk","authors":"D. Gilliam","doi":"10.1007/978-3-540-37621-7_16","DOIUrl":"https://doi.org/10.1007/978-3-540-37621-7_16","url":null,"abstract":"","PeriodicalId":118601,"journal":{"name":"International Symposium on Systems Synthesis","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2003-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114217577","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 10
Verification of Authentication Protocols Based on the Binding Relation 基于绑定关系的认证协议验证
International Symposium on Systems Synthesis Pub Date : 2002-11-08 DOI: 10.1007/3-540-36532-X_19
M. Hagiya, Ryo Takemura, Koichi Takahashi, Takamichi Saito
{"title":"Verification of Authentication Protocols Based on the Binding Relation","authors":"M. Hagiya, Ryo Takemura, Koichi Takahashi, Takamichi Saito","doi":"10.1007/3-540-36532-X_19","DOIUrl":"https://doi.org/10.1007/3-540-36532-X_19","url":null,"abstract":"","PeriodicalId":118601,"journal":{"name":"International Symposium on Systems Synthesis","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-11-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117084199","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Privacy in Sensor Webs and Distributed Information Systems 传感器网络和分布式信息系统中的隐私
International Symposium on Systems Synthesis Pub Date : 2002-11-08 DOI: 10.1007/3-540-36532-X_6
J. D. Tygar, In Software M Security, B. Okada, A. Pierce, H. Scedrov, A. Y. Tokuda, Springer
{"title":"Privacy in Sensor Webs and Distributed Information Systems","authors":"J. D. Tygar, In Software M Security, B. Okada, A. Pierce, H. Scedrov, A. Y. Tokuda, Springer","doi":"10.1007/3-540-36532-X_6","DOIUrl":"https://doi.org/10.1007/3-540-36532-X_6","url":null,"abstract":"","PeriodicalId":118601,"journal":{"name":"International Symposium on Systems Synthesis","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-11-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129210312","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
SoftwarePot: An Encapsulated Transferable File System for Secure Software Circulation SoftwarePot:一种用于安全软件流通的封装可传输文件系统
International Symposium on Systems Synthesis Pub Date : 2002-11-08 DOI: 10.1007/3-540-36532-X_8
Kazuhiko Kato, Y. Oyama
{"title":"SoftwarePot: An Encapsulated Transferable File System for Secure Software Circulation","authors":"Kazuhiko Kato, Y. Oyama","doi":"10.1007/3-540-36532-X_8","DOIUrl":"https://doi.org/10.1007/3-540-36532-X_8","url":null,"abstract":"","PeriodicalId":118601,"journal":{"name":"International Symposium on Systems Synthesis","volume":"74 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2002-11-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134165804","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 27
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信