• Crema

Treffer: Crema

Title:
Crema
Authors:
Reilly, Karen, Torrey, Jacob, Frank, Jared, Brunson, Trent
Contributors:
ASSURED INFORMATION SECURITY INC ROME NY
Source:
DTIC
Publication Year:
2015
Collection:
Defense Technical Information Center: DTIC Technical Reports database
Subject Terms:
Computer Programming and Software, Computer Systems Management and Standards, C PROGRAMMING LANGUAGE, COMPUTER PROGRAM VERIFICATION, COMPUTER NETWORK SECURITY, DEBUGGING(COMPUTERS), LEARNING MACHINES, MATHEMATICAL MODELS, NETWORK FLOWS, PARSERS, SEMANTICS, SOFTWARE ENGINEERING, SYNTAX, SYSTEMS ANALYSIS, TEST AND EVALUATION, VULNERABILITY, CREMA SUB-TURING LANGUAGE, COMPILERS, SYMBOLIC EXECUTION PATHS, LLVM(LOW LEVEL VIRTUAL MACHINES), AST(ABSTRACT SYNTAX TREE), ROP(RETURN-ORIENTED PROGRAMMING), CFG(CONTROL FLOW GRAFT), JIT(JUST-IN TIME), PE62303E, AUAFRLACTCREMA
Document Type:
Fachzeitschrift text
File Description:
text/html
Language:
English
Relation:
http://www.dtic.mil/docs/citations/ADA622569
Availability:
http://www.dtic.mil/docs/citations/ADA622569
http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA622569
Rights:
Approved for public release; distribution is unlimited.
Accession Number:
edsbas.C770166C
Database:
BASE

Weitere Informationen

Crema is a programming language and restricted environment of sub-Turing power for building a provably-secure and intent-driven programming language. By restricting the computational effectiveness of programs to a set of minimal requirements, weird machines--the intended execution environments created when data is not explicitly handled or parsed--can be eliminated, and programs will only execute according to their author's intentions. The effort estimated and compared the respective sizes of verification tasks for Qmail SMTP parsing code fragments when executed natively vs in Crema-using LLVM and KLEE. Research was also accomplished to understand the application of the same principles to the verification of reference monitors. ; Sponsored in part by DARPA/I20, Arlington, VA.