2008 The Fourth International Conference on Information Assurance and Security最新文献_第2页

Quantum Key Distribution Based on Multi-qubit Hadamard Matrices 基于多量子位哈达玛矩阵的量子密钥分发

2008 The Fourth International Conference on Information Assurance and Security Pub Date : 2008-09-08 DOI: 10.1109/IAS.2008.40

Dazu Huang, Zhigang Chen

引用次数: 2

Improving the Efficiency of Misuse Detection by Means of the q-gram Distance 利用q-g距离提高误用检测效率

2008 The Fourth International Conference on Information Assurance and Security Pub Date : 2008-09-08 DOI: 10.1109/IAS.2008.39

Slobodan V. Petrovic, Sverre Bakke

引用次数: 2

Network Level Privacy for Wireless Sensor Networks 无线传感器网络的网络级隐私

2008 The Fourth International Conference on Information Assurance and Security Pub Date : 2008-09-08 DOI: 10.1109/IAS.2008.36

R. Shaikh, Hassan Jameel, B. d'Auriol, Sungyoung Lee, Y. Song, Heejo Lee

引用次数: 22

Automatic Verification of Simulatability in Security Protocols 安全协议中可仿真性的自动验证

2008 The Fourth International Conference on Information Assurance and Security Pub Date : 2008-09-08 DOI: 10.1109/IAS.2008.50

Tadashi Araragi, Olivier Pereira

{"title":"Automatic Verification of Simulatability in Security Protocols","authors":"Tadashi Araragi, Olivier Pereira","doi":"10.1109/IAS.2008.50","DOIUrl":"https://doi.org/10.1109/IAS.2008.50","url":null,"abstract":"This paper investigates the problem of the automatic verification of the computational indistinguishability of systems in the simulation-based security setting, which allows proving the composable security of cryptographic protocols whose security relies on computational hardness assumptions. We use task-structured probabilistic I/O automata (task-PIOA) as our modeling framework. In this context, proofs of indistinguishability between real and ideal systems are typically divided into steps involving either proofs of perfect indistinguishability or proofs of computational indistinguishability. Our method automates the proof of perfect indistinguishability for a class of simple protocols, which is, by far, the most error-prone and time-consuming part of those security proofs. We proceed by transforming the targeted real and ideal probabilistic systems into nondeterministic ones, and check the bisimulation between the obtained systems by a partition refinement algorithm. We prove the correctness of our transformation. Our method has also been implemented in a symbolic way and we showed its usefulness by applying it to a practical protocol for oblivious transfer.","PeriodicalId":103328,"journal":{"name":"2008 The Fourth International Conference on Information Assurance and Security","volume":"49 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121851107","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}

引用次数: 1

A New Narrow Block Mode of Operations for Disk Encryption 一种新的磁盘加密窄块操作模式

2008 The Fourth International Conference on Information Assurance and Security Pub Date : 2008-09-08 DOI: 10.1109/IAS.2008.19

M. El-Fotouh, K. Diepold

引用次数: 11

Semantics-Driven Introspection in a Virtual Environment 虚拟环境中语义驱动的内省

2008 The Fourth International Conference on Information Assurance and Security Pub Date : 2008-09-08 DOI: 10.1109/IAS.2008.17

F. Tamberi, Dario Maggiari, D. Sgandurra, F. Baiardi

引用次数: 9

Impact of Cheating and Non-Cooperation on the Stability and the Performances of Application-Level Multicast Sessions 欺骗和非合作对应用层组播会话稳定性和性能的影响

2008 The Fourth International Conference on Information Assurance and Security Pub Date : 2008-09-08 DOI: 10.1109/IAS.2008.43

M. Alkubeily, H. Bettahar, A. Bouabdallah

引用次数: 3

Developing a Security Typed Java Servlet 开发一个安全类型的Java Servlet

2008 The Fourth International Conference on Information Assurance and Security Pub Date : 2008-09-08 DOI: 10.1109/IAS.2008.31

D. Hassan, S. El-Kassas, I. Ziedan

{"title":"Developing a Security Typed Java Servlet","authors":"D. Hassan, S. El-Kassas, I. Ziedan","doi":"10.1109/IAS.2008.31","DOIUrl":"https://doi.org/10.1109/IAS.2008.31","url":null,"abstract":"The Lack of security policy enforcement in Web development languages is one of the most important challenges in Web application systems development, as there is no formal check for security policy violation that may occur during Web application system development. To check for policy compliance, the programmer must walk through all the code and check every line to make sure that there are no security violations. For example, a developer may develop a Web application system connected to data base that seems to work properly, but it can make a certain security policy violation by permitting unauthorized users to access the data base system. This paper proposes a solution for the above problem by developing and application of a security typed Java servlet that can run on the Web server side safely. This servlet is developed by embedding the Java code produced by compiling the Java information flow language (Jif) (a security-typed programming language that extends Java with support for information flow control and access control, both at compile time and at run time) into a servlet code format. The code produced by compiling Jif language is security typed and support servlet with means of flow control and access control. Hence we can guarantee that when we run this servlet into a Web application system it will check input data trough the Web application system for security policy violation.","PeriodicalId":103328,"journal":{"name":"2008 The Fourth International Conference on Information Assurance and Security","volume":"55 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2008-09-08","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126651768","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}

引用次数: 8

LoSS Detection Approach Based on ESOSS and ASOSS Models 基于ESOSS和ASOSS模型的损失检测方法

2008 The Fourth International Conference on Information Assurance and Security Pub Date : 2008-09-08 DOI: 10.1109/IAS.2008.37

M. F. Rohani, M. A. Maarof, A. Selamat, H. Kettani

引用次数: 7

An Implementation Infrastructure for Server-Passive Timed-Release Cryptography 服务器被动定时释放加密的实现基础结构

2008 The Fourth International Conference on Information Assurance and Security Pub Date : 2008-09-08 DOI: 10.1109/IAS.2008.49

K. Chalkias, Foteini Baldimtsi, D. Hristu-Varsakelis, G. Stephanides

引用次数: 1