Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

James G. Williams 0002

> Home > Persons

Person information

affiliation: The MITRE Corporation, Bedford, MA, USA

Other persons with the same name

see FAQ

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

1990 – 1999

see FAQ

What is the meaning of the colors in the publication lists?

1994
[c7]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/dbsec/RosenthalWHT94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dbsec/RosenthalWHT94
Arnon Rosenthal, James G. Williams, William R. Herndon, Bhavani Thuraisingham:
A Fine-grained Access Control Model for Object-Oriented DBMSs. DBSec 1994: 319-334
1993
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/compsec/AbramsALLW93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/compsec/AbramsALLW93
Marshall D. Abrams, Edward Amoroso, Leonard J. LaPadula, Teresa F. Lunt, James G. Williams:
Report of an integrity research study group. Comput. Secur. 12(7): 679-689 (1993)
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/WilliamsP93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/WilliamsP93
James G. Williams, Leonard J. LaPadula:
Automated Support for External Consistency. CSFW 1993: 71-81
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/nspw/Williams93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nspw/Williams93
James G. Williams:
A shift in security modeling paradigms. NSPW 1993: 57-61
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/nspw/LaPadulaW93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nspw/LaPadulaW93
Leonard J. LaPadula, James G. Williams:
External consistency in a network environment. NSPW 1993: 131-137
1991
[b1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/Williams91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/Williams91
James G. Williams:
Instantiation Theory - On the Foundations of Automated Deduction. Lecture Notes in Computer Science 518, Springer 1991, ISBN 3-540-54333-3
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/csfw/PadulaW91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csfw/PadulaW91
Leonard J. LaPadula, James G. Williams:
Toward a Universal Integrity Model. CSFW 1991: 216-218
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/sp/Williams91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sp/Williams91
James G. Williams:
Modeling Nondisclosure in Terms of the Subject-Instruction Stream. S&P 1991: 64-77
1990
[j4]
- view
  authority control:
- export record
  dblp key:
  - journals/jsyml/Williams90
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsyml/Williams90
James G. Williams:
On the Formalization of Semantic Conventions. J. Symb. Log. 55(1): 220-243 (1990)

1980 – 1989

see FAQ

What is the meaning of the colors in the publication lists?

1985
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/0002A85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/0002A85
James G. Williams, Charles H. Applebaum:
The Practical Verification System Project. ACM SIGSOFT Softw. Eng. Notes 10(4): 44-47 (1985)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/sigsoft/Williams85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/sigsoft/Williams85
James G. Williams:
Components of verification technology. ACM SIGSOFT Softw. Eng. Notes 10(4): 49-50 (1985)
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/tse/ClaybrookCW85
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tse/ClaybrookCW85
Billy G. Claybrook, Anne-Marie Claybrook, James G. Williams:
Defining Database Views as Data Abstractions. IEEE Trans. Software Eng. 11(1): 3-14 (1985)
1984
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/acm/ApplebaumW84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/acm/ApplebaumW84
Charles H. Applebaum, James G. Williams:
PVS - design for a practical verification system. ACM Annual Conference 1984: 58-68

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.