Security policy testing via automated program code generation

The article considers the issue of storage, cataloging and transfer of documentation within the electronic document management system (EDMS). Modern document management solutions can be considered as the intersection of traditional and digital technologies, in particular, the storage of software code on paper. The very storage of program code in paper version implies a large archive for data storage, which includes modifications when versions of the program code are updated. Graphical ways of storing large amounts of data have been known for a long time, but they usually use a long procedure for restoring the original information and exclude recovery from paper or are significantly limited in the amount of stored data. As one of the elements of the composite electronic document management system it is proposed to use the method of graphical encoding of information (QR-code generation technology), which will increase the resistance to unauthorized modification of the program code, simplify the procedure for storing, identifying and verifying information. As an elementary block of information, it is intended to use a separate software module responsible for one of the subprograms in the RTOS environment. The proposed algorithm for storing and transferring information implies its compression by software, encryption and transmission. The article compares various compression algorithms and their efficiency. The presence of a cataloguer in each graphic element allows for quick search, comparison and verification of blocks.

Download Full-text

Desain Mesin Compiler untuk Penganalisa Leksikal, Sintaksis, Semantik, Kode Antara dan Error Handling Pada Bahasa Pemrograman Sederhana

JOURNAL OF APPLIED INFORMATICS AND COMPUTING ◽

10.30871/jaic.v3i1.1153 ◽

2019 ◽

pp. 01-07

Author(s):

Fauziah Fauziah ◽

Andez Apriansyah ◽

Tri Ichsan Saputra ◽

Yunan Fauzi Wijaya

Keyword(s):

Programming Languages ◽

Code Generation ◽

Semantic Analysis ◽

Error Message ◽

Program Code ◽

Simple Program ◽

C Programming ◽

Target Languages ◽

High Level ◽

Compilation Techniques

In compilation techniques, the processes and stages carried out relate to translating source languages into target languages (object programs). Source languages are high-level programming languages that are easy to understand and easy to learn by humans, while target languages are low-level languages that are only understood by machines. In this study a compiler machine called Automatic LESSIMIC Analyzer is used which can be used to analyze, including lexical, syntactic, and semantic analysis. Compiler machines that are designed can also synthesize intermediate code, using assembler codes. The compiler engine will produce an analysis of the program code that the user enters in the form of an error message, if the program code is not in accordance with the grammar that applies generally in programming languages. In this research, the simple program code that is inputted is C ++ programming language, and successfully analyzes the lexical, semantic, syntactic, intermediate code generation and successfully detects errors from the program code entered with a success rate of 99%.

Download Full-text

Session details: Session 3: Security Policy Testing and Enforcement

Proceedings of the 26th ACM Symposium on Access Control Models and Technologies ◽

10.1145/3470751 ◽

2021 ◽

Author(s):

Dianxiang Xu

Keyword(s):

Security Policy ◽

Policy Testing

Download Full-text

APLIKASI PROPAS (PROGRAM PENGARSIPAN SURAT) PADA KANTOR DESA CIHAMBULU-SUBANG

Jurnal Interkom ◽

10.35969/interkom.v14i3.50 ◽

2019 ◽

Vol 14 (3) ◽

Author(s):

Surtika Ayumida, Muhamad Tabrani, Fransisca Natalia, Kurnia Abdurrahman Hariri

Keyword(s):

Data Processing ◽

Code Generation ◽

Program Design ◽

System Research ◽

Literature Study ◽

Program Code ◽

Java Programming ◽

Program Testing ◽

Design Program ◽

Software Requirements Analysis

The process of archiving mails at the Cihambulu Village office the writing is still conventional. there are some deficiency including the process of writing that is not neat, archiving still using the ledger. Therefore required a program that can solving the problem, so the problems that occur at this Cihambulu Village office can be resolved. The concept of designing this system refers to the activities of data processing incoming mail, data processing outgoing mail, disposition making, to the manufacture of incoming mail reports and outgoing mail. some stages in the development or design of this program are software requirements analysis, program design, program code generation, program testing. The making this program using JAVA programming language, MySQL as database and windows 7 as operating system. Research methods used in the design of this system is the method of interviewing, observation, and literature study. While the purpose of designing this system is to produce a mail archiving program so that it can assist employees in data processing incoming mail, data processing outgoing mail, disposition making, making reports incoming mails and outgoing mail. Keywords: Program Design, Mail archiving Program

Download Full-text