Information Flow Control in Object-Oriented Programs.

Published in: Security for Object-Oriented Systems (1993)

Keyphrases

object oriented programs
information flow control
integration testing
specification languages
information flow
impact analysis
object oriented
formal specification
black box
test cases
relational databases
first order logic
artificial intelligence
high throughput
software testing