Catalogue search • Linguistik portal • Fachinformationsdienst (FID)

1	Arabic Natural Language Processing System Code Library
	Tratz, Stephen C
	In: DTIC (2014)
	BASE
	Show details

2	Trust in Security-Policy Enforcement Mechanisms
	Schneider, Fred B.; Morrisett, Greg
	In: DTIC (2006)
	Abstract: This project investigated language-based approaches for enforcing security policies and proactive approaches for implementing trustworthy distributed services. One avenue of language-based work produced Cyclone, a type-safe variant of C. The Cyclone language retains the familiar syntax and semantics of C code. but provides the strong security guarantees of modern languages such as Java. A second avenue of language-based work explored a general class of policy enforcement mechanism based on in-line reference monitors (IRM), which insert checks and actions in an application to ensure the resulting code will respect the policy when executed. The class of policies enforceable through IRMs was shown not to correspond to any class of the Kleene hierarchy. In addition. a certified IRM rewriter framework was developed for Microsoft NET code. It produces explicit evidence so an independent proof checker can determine that rewritten code respects a desired security policy. Finally. proactive obfuscation was investigated as a basis for achieving independence of server replicas comprising a service. This resulted in new agreement protocols to handle servers that periodically have their storage purged and reloaded (to eliminate undetectably compromised code and data). It also produced a semantic characterization of how obfuscation compares with strong typing, finding that the two are comparable, a surprising result.
	Keyword: *PROGRAMMING LANGUAGES; CERTIFYING COMPILATION; CODING; COMPUTER APPLICATIONS; Computer Programming and Software; COMPUTER PROGRAMS; Information Science; INFORMATION SECURITY; INLINED REFERENCE MONITOR; JAVA PROGRAMMING LANGUAGE; LANGUAGE-BASED SECURITY; TRUSTWORTHY SYSTEMS
	URL: http://oai.dtic.mil/oai/oai?&verb=getRecord&metadataPrefix=html&identifier=ADA444727 http://www.dtic.mil/docs/citations/ADA444727
	BASE
	Hide details

3	Creation of Efficient and Portable Parallel Programs.
	Wittie, Larry
	In: DTIC AND NTIS (1997)
	BASE
	Show details

Search in the Catalogues and Directories