4 articles for “policy verification”

Set a search alert

Research ArticleOpen accessEvery word in the titleSecurity Policy Development: Towards a Life-Cycle and Logic-Based Verification ModelLuay A. Wahsheh, Jim Alves-FossAlthough security plays a major role in the design of software systems, security requirements and policies are usually added to an already existing system, not created in conjunction with the product. As a result, there are often numerous problems with the overall design. In this paper, we discuss the relationship between software engineering, security engineering, and policy engineering and present … …American Journal of Applied Sciences, Vol. 5, Issue 9 · 30 Sep 2008 · 7,338 accessesView PDF Cite

Research ArticleOpen accessIn the abstractA Comparative Analysis of IoT Security Frameworks With BIoTCGaurav Vats, Sarvesh Tanwar, Pankaj Kumar SharmaThe Internet of Things (IoT) has reshaped the modern intelligent environments, but it remains vulnerable to sophisticated attacks such as Man-in-the-Middle (MITM), RFID cloning, unauthorized access, and social engineering. Block Internet of Things Chain (BIoTC) introduces a simulation-based approach to address these security issues. While various frameworks have been proposed to secure IoT systems, most of them fall short in … …Journal of Computer Science, Vol. 22, Issue 3 · 28 Mar 2026 · 1,474 accessesView PDF Cite

Research ArticleOpen accessIn the abstractDevelopment Model to Improve the Quality of Academic Administration: A Case StudyTawee Puengphai, Sakthai Surakitborworn, Wittaya AreeratProblem statement: Academic teaching and learning of Ban Nongkham Borkaeowittaya School were not consistent with the current change to allow students to learn in accordance with the educational reform. Students could not be developed to their full potential. Most teaching methods still revolved around the teachers and lacked the learning encouragement of students with a variety of methods. Purpose: (1) … …Journal of Social Sciences, Vol. 8, Issue 1 · 27 Oct 2011 · 8,152 accessesView PDF Cite

Research ArticleOpen accessIn the abstractProof-Carrying Code Based Tool for Secure Information Flow of Assembly ProgramsAbdulrahman Muthana, Abdul Azim Abd Ghani, Ramlan Mahmod, Hasan SelamatProblem statement: How a host (the code consumer) can determine with certainty that a downloaded program received from untrusted source (the code producer) will maintain the confidentiality of the data it manipulates and it is safe to install and execute. Approach: The approach adopted for verifying that a downloaded program will not leak confidential data to unauthorized parties was based … …Journal of Computer Science, Vol. 5, Issue 2 · 28 Feb 2009 · 7,354 accessesView PDF Cite