Browse Repositories


Visible to the public Protocol Verification 2015


SoS Logo

Protocol Verification



Visible to the public Browse Documents

The portal organizes files in a repository according labeling terms. The labeling terms form a taxonomy that arranges the terms as a tree structure, similar (but not the same) as a folder hierarchy. When a file has one or more labeling terms, the file will be shown in the tree at those nodes that have the same labeling terms. In other words, a file may be found using more than one path in the tree. For example, a report on cybersecurity research may be found by navigating through Document Type -> Report path or Topics -> Foundations -> Security path.