Inference-Security Analysis Using Resolution Theorem-Proving.

@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}
}

Abstract

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

ACM SIGMOD Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An2-6 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD1 or /dvd

Printed Edition

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