About: Language-based security

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Type of security

Property	Value
dbo:description	type of security (en) Art der Sicherheit (de)
dbo:thumbnail	wiki-commons:Special:FilePath/Model_of_certifying_compiler.png?width=300
dbo:wikiPageExternalLink	http://www.securitee.org/files/rdevel_wistp2012.pdf http://www.cs.berkeley.edu/~necula/touchstone.html http://www.cs.cornell.edu/andru/papers/jsac/sm-jsac03.pdf http://www.cs.cornell.edu/~kozen/papers/lbs.pdf http://www.dagstuhl.de/03411 http://repository.cmu.edu/cgi/viewcontent.cgi%3Farticle=1921&context=compsci
dbo:wikiPageWikiLink	dbr:Type_safety dbr:Proof-carrying_code dbr:Non-interference_(security) dbr:Data_integrity dbr:Reference_monitor dbr:C_Sharp_(programming_language) dbr:Application_software dbr:Memory_protection dbr:Automated_theorem_proving dbr:Type_system dbr:Code_generation_(compiler) dbr:Program_analysis dbr:Bounds_checking dbr:Control-flow_analysis dbr:Static_analysis dbr:Program_optimization dbr:Java_(programming_language) dbr:Parsing dbr:Information_flow_(information_theory) dbr:Lexical_analysis dbr:Programming_language dbc:Computer_security dbr:Computer_science dbr:SCADA dbr:Source_code dbr:Object_code dbr:Access_control dbr:Taint_checking dbr:Preprocessor dbr:Buffer_overflow dbr:Security_policy dbr:Buffer_overflow_protection dbr:Typed_assembly_language dbr:Security_type_system dbr:Confidentiality dbr:Semantic_analysis_(compilers) dbr:Haskell_(programming_language) dbr:Automated_proof_checking dbr:Scala_programming_language dbr:Dynamic_analysis dbr:Code_optimization dbr:Type_checking dbr:Program_correctness dbr:Certifying_compiler dbr:File:Model_of_certifying_compiler.png
dbp:wikiPageUsesTemplate	dbt:Main dbt:Reflist dbt:More_citations_needed_section
dct:subject	dbc:Cybersecurity_engineering
gold:hypernym	dbr:Set
rdfs:label	Language-based security (en) الحماية المبنية على اللغة (ar)
owl:sameAs	freebase:Language-based security wikidata:Language-based security dbpedia-ar:Language-based security dbpedia-global:Language-based security
prov:wasDerivedFrom	wikipedia-en:Language-based_security?oldid=1291168830&ns=0
foaf:depiction	wiki-commons:Special:FilePath/Model_of_certifying_compiler.png
foaf:isPrimaryTopicOf	wikipedia-en:Language-based_security
is dbo:wikiPageRedirects of	dbr:Language_based_security
is dbo:wikiPageWikiLink of	dbr:Language-based_system dbr:Program_analysis dbr:Kernel_(operating_system) dbr:Journal_of_Functional_Programming dbr:Security_type_system dbr:Language_based_security
is foaf:primaryTopic of	wikipedia-en:Language-based_security