Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

V. W. W. Poon

dblp:71/2405 · DBLP profile ↗
← Back
1ranked-venue papers
0as first author
0since 2021 · last 1987
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 1

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Network and information security
1 paper
Systems and software security · 50% Network security · 50%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Distributed systems · 100%

Topics — the 3 heaviest of 3, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Systems and software security
multilevel security
0.011987
A Model for Multilevel Security Based on Operator Nets · S&P 1987
Network security › security modeling
security policy modeling
0.011987
A Model for Multilevel Security Based on Operator Nets · S&P 1987
Distributed systems
distributed system security
0.011987
A Model for Multilevel Security Based on Operator Nets · S&P 1987

Methods — techniques the papers use, named apart from their topics

operator nets · 0.0lucid · 0.0behavioral semantics · 0.0
YearPublicationVenuePosition
1987 A Model for Multilevel Security Based on Operator Nets
abstract
A security model for the SNet multilevel secure distributed system, bawd on a behavioral semantics for operator nets and expressed in Lucid, is described. This model subsumes a previously published model of the network within SNet and includes authorized downgrading as well as the security policies enforced by trusted hosts connected to the network. The previous model is based on seven rather ad hoc constraints without presenting a coherent argument regarding security. The model described in this paper provides a more general abstract model than is provided by those' seven constraints.
Glenn H. MacEwen, V. W. W. Poon, Janice I. Glasgow
S&P2