The development and proof of a formal specification for a multilevel secure system
ACM Transactions on Computer Systems (TOCS)
Dataflow Computing Models, Languages, and Machines for Intelligence Computations
IEEE Transactions on Software Engineering - Special Issue on Artificial Intelligence in Software Applications
Real-Time Specification Using Lucid
IEEE Transactions on Software Engineering
A logic for reasoning about security
ACM Transactions on Computer Systems (TOCS)
Readings in hardware/software co-design
Mulitdimensional Streams Rooted in Dataflow
PACT '93 Proceedings of the IFIP WG10.3. Working Conference on Architectures and Compilation Techniques for Fine and Medium Grain Parallelism
Reasoning about knowledge in multilevel secure distributed systems
SP'88 Proceedings of the 1988 IEEE conference on Security and privacy
| Hi-index | 0.00 |