ACM SIGMOD Anthology ACM SIGMOD dblp.uni-trier.de

Inference-Security Analysis Using Resolution Theorem-Proving.

Neil C. Rowe: Inference-Security Analysis Using Resolution Theorem-Proving. ICDE 1989: 410-416
@inproceedings{DBLP:conf/icde/Rowe89,
  author    = {Neil C. Rowe},
  title     = {Inference-Security Analysis Using Resolution Theorem-Proving},
  booktitle = {Proceedings of the Fifth International Conference on Data Engineering,
               February 6-10, 1989, Los Angeles, California, USA},
  publisher = {IEEE Computer Society},
  year      = {1989},
  isbn      = {0-8186-1915-5},
  pages     = {410-416},
  ee        = {db/conf/icde/Rowe89.html},
  crossref  = {DBLP:conf/icde/89},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX

Abstract

Copyright © 1989 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.


ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 2 Issue 6, ICDE 1984-1995" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ... BibTeX

Printed Edition

Proceedings of the Fifth International Conference on Data Engineering, February 6-10, 1989, Los Angeles, California, USA. IEEE Computer Society 1989, ISBN 0-8186-1915-5
Contents BibTeX

References

[1]
...
[2]
...
[3]
Dorothy E. Denning: Cryptography and Data Security. Addison-Wesley 1982
BibTeX
[4]
...
[5]
...
[6]
...
[7]
...
[8]
Matthew Morgenstern: Security and Inference in Multilevel Database and Knowledge-Base Systems. SIGMOD Conference 1987: 357-373 BibTeX
[9]
...
[10]
Mark E. Stickel: Automated Deduction by Theory Resolution. IJCAI 1985: 1181-1186 BibTeX
[11]
...
[12]
...
[13]
...
[14]
...

Referenced by

  1. Keishi Tajima: Static Detection of Security Flaws in Object-Oriented Databases. SIGMOD Conference 1996: 341-352
  2. Gary W. Smith: The Semantic Data Model for Security: Representing the Security Semantics of an Application. ICDE 1990: 322-329
BibTeX
ACM SIGMOD Anthology - DBLP: [Home | Search: Author, Title | Conferences | Journals]
ICDE Proceedings: Copyright © by IEEE,
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:17:46 2009