Declassification

Known as: Declassified documents, Declassify

Declassification is the process of documents that used to be classified as secret ceasing to be so restricted, often under the principle of freedom…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2015

Disjunction Category Labels DC-labels are an expressive label format used to classify the sensitivity of data in information-flow…

2014

We present a new algorithm for checking probabilistic noninterference in concurrent programs. The algorithm, named RLSOD, is…

2014

2013

Government secrecy frequently fails. Despite the executive branch’s obsessive hoarding of certain kinds of documents and its…

2012

Abstract Students of international relations should seek to understand the ways in which power in international relations can be…

2010

This paper proposes a framework for the detection of information leaks in workflow descriptions based on static information flow…

2009

Noninterference requires that public outputs of a program must be completely independent from secrets. While this ensures that…

2006

An in-depth look at the state of biological-weapons programmes across the world.

2000

1991

Abstract : The view of learning that underlies standard test theory is inconsistent with the view rapidly emerging from cognitive…