scholarly journals Towards building a forensics aware language for secure logging

2014 ◽  
Vol 11 (4) ◽  
pp. 1291-1314 ◽  
Author(s):  
Shams Zawoad ◽  
Marjan Mernik ◽  
Ragib Hasan
Keyword(s):  
Digital Forensics ◽  
Source Code ◽  
Domain Specific Language ◽  
Specific Language ◽  
Domain Specific ◽  
Log Structure ◽  
System Logs ◽  
Security Properties ◽  
Application Developers

Trustworthy system logs and application logs are crucial for digital forensics. Researchers have proposed different security mechanisms to ensure the integrity and confidentiality of logs. However, applying current secure logging schemes on heterogeneous formats of logs is tedious. Here, we propose Forensics Aware Language (FAL), a domain-specific language (DSL) through which we can apply a secure logging mechanism on any format of logs. Using FAL, we can define log structure, which represents the format of logs and ensures the security properties of a chosen secure logging scheme. This log structure can later be used by FAL to serve two purposes: it can be used to store system logs securely and it will help application developers for secure application logging by generating the required source code.

scholarly journals Polyhedral+Dataflow Graphs

2020 ◽  
Author(s):  
Eddie C. Davis
Keyword(s):  
Differential Equation ◽  
Sparse Matrix ◽  
Source Code ◽  
Tensor Decomposition ◽  
Domain Specific Language ◽  
Intermediate Representation ◽  
Specific Language ◽  
Domain Specific ◽  
Temporary Storage ◽  
Matrix Operations

This research presents an intermediate compiler representation that is designed for optimization, and emphasizes the temporary storage requirements and execution schedule of a given computation to guide optimization decisions. The representation is expressed as a dataflow graph that describes computational statements and data mappings within the polyhedral compilation model. The targeted applications include both the regular and irregular scientific domains. The intermediate representation can be integrated into existing compiler infrastructures. A specification language implemented as a domain specific language in C++ describes the graph components and the transformations that can be applied. The visual representation allows users to reason about optimizations. Graph variants can be translated into source code or other representation. The language, intermediate representation, and associated transformations have been applied to improve the performance of differential equation solvers, or sparse matrix operations, tensor decomposition, and structured multigrid methods.

scholarly journals A domain-specific language for defining static structure of database applications

2010 ◽  
Vol 7 (3) ◽  
pp. 409-440 ◽  
Author(s):  
Igor Dejanovic ◽  
Gordana Milosavljevic ◽  
Branko Perisic ◽  
Maja Tumbas
Keyword(s):  
Source Code ◽  
Domain Specific Language ◽  
Static Structure ◽  
Code Generator ◽  
Specific Language ◽  
Meta Model ◽  
Model Driven ◽  
Domain Specific ◽  
Definition Of ◽  
Execution Semantics

In this paper we present DOMMLite - an extensible domain specific language (DSL) for static structure definition of data base oriented applications. The model-driven engineering (MDE) approach, an emerging software development paradigm, has been used. The language structure is defined by the means of a meta model supplemented by validation rules based on Check language and extensions based on Extend language, which are parts of the openArchitectureWare framework [1]. The meta model has been defined along with the textual syntax, which enables creation, update and persistence of DOMMLite models using a common text editor. DSL execution semantics has been defined by the specification and implementation of the source code generator for a target platform with an already defined execution semantics. In order to enable model editing, a textual Eclipse editor has also been developed. DSL, defined in this way, has the capability of generating complete source code for GUI forms with CRUDS (Create-Read-Update-Delete-Search) and navigation operations [2,3,4,5].

scholarly journals A Domain Specific Language for Lessening the Effort Needed to Instantiate Applications Using GRENJ Framework

2010 ◽  
Author(s):  
Vinícius Durelli ◽  
Rafael Durelli ◽  
Simone De Sousa Borges ◽  
Rosana Braga
Keyword(s):  
Large Scale ◽  
Source Code ◽  
Domain Specific Language ◽  
Specific Language ◽  
Domain Specific ◽  
Architectural Knowledge

GRENJ is a white-box framework implemented in Java. White-box frameworks are reusable designs composed of a set of concrete and abstract classes so that the collaboration among these classes provides support for large-scale reuse of design and source code. However, instantiating applications by using this sort of framework is quite complex and demands detailed architectural knowledge. In order to lessen the amount of source code, effort, and expertise required to instantiate applications by using GRENJ framework, we have developed a domain specific language that manages all application instantiation issues systematically. This domain specific language facilitates the application instantiation process by acting as a facade over GRENJ framework as well as providing the user with a more concise, human-readable syntax than Java. In this paper, we contrast the major differences and benefits resulting from instantiating applications solely using GRENJ framework and indirectly reusing its source code by applying our domain specific language.

Domain-Specific Language Abstractions for Compression

2021 ◽  
Author(s):  
Jessica Ray ◽  
Ajav Brahmakshatriya ◽  
Richard Wang ◽  
Shoaib Kamil ◽  
Albert Reuther ◽  
...  
Keyword(s):  
Domain Specific Language ◽  
Specific Language ◽  
Domain Specific
Sign in / Sign up

Export Citation Format

Share Document