Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Janice I. Glasgow

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Glenn H. MacEwen

> Home > Persons > Janice I. Glasgow

Publications

1992
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/tocs/GlasgowMP92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocs/GlasgowMP92
Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden:
A Logic for Reasoning About Security. ACM Trans. Comput. Syst. 10(3): 226-264 (1992)
1991
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/MacEwenG91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/MacEwenG91
Glenn H. MacEwen, Janice I. Glasgow:
A Proof of Secrecy for a Network Security Model. CSFW 1991: 176-181
1990
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/GlasgowMP90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/GlasgowMP90
Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden:
A Logic for Reasoning about Security. CSFW 1990: 2-13
1989
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/dc/GlasgowM89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/GlasgowM89
Janice I. Glasgow, Glenn H. MacEwen:
An Operator Net Model for Distributed Systems. Distributed Comput. 3(4): 196-209 (1989)
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/GlasgowM89
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/GlasgowM89
Janice I. Glasgow, Glenn H. MacEwen:
Obligation as the Basis of Integrity Specification. CSFW 1989: 64-70
1988
[c8]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/csfw/GlasgowMP88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/GlasgowMP88
Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden:
Reasoning about Knowledge and Permission in Secure Distributed Systems. CSFW 1988: 139-146
[c7]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/dbsec/GlasgowMP88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbsec/GlasgowMP88
Janice I. Glasgow, Glenn H. MacEwen, Prakash Panangaden:
Security by Permission in Databases. DBSec 1988: 197-205
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/GlasgowM88
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/GlasgowM88
Janice I. Glasgow, Glenn H. MacEwen:
Reasoning about knowledge in multilevel secure distributed systems. S&P 1988: 122-128
1987
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/tocs/GlasgowM87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocs/GlasgowM87
Janice I. Glasgow, Glenn H. MacEwen:
The Development and Proof of a Formal Specification for a Multilevel Secure System. ACM Trans. Comput. Syst. 5(2): 151-184 (1987)
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/parle/GlasgowM87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/parle/GlasgowM87
Janice I. Glasgow, Glenn H. MacEwen:
A Computational Model for Distributed Systems Using Operator Nets. PARLE (2) 1987: 243-260
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/MacEwenPG87
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/MacEwenPG87
Glenn H. MacEwen, V. W. W. Poon, Janice I. Glasgow:
A Model for Multilevel Security Based on Operator Nets. S&P 1987: 150-160
1985
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/GlasgowM85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/GlasgowM85
Janice I. Glasgow, Glenn H. MacEwen:
LUCID: a specification language for distributed systems. ACM SIGSOFT Softw. Eng. Notes 10(4): 76-79 (1985)

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.