Requirements and Protocols for Inference-Proof Interactions in Information Systems.
Joachim BiskupChristian GogolinJens SeilerTorben WeibertPublished in: ESORICS (2009)
Keyphrases
- information systems
- information technology
- management policies
- bayesian networks
- probabilistic reasoning
- probabilistic inference
- legacy systems
- interaction model
- requirements engineering
- project management
- development methodologies
- functional requirements
- application specific
- theorem proving
- inference engine
- systems development
- inference process
- theorem prover
- bayesian inference
- linear logic
- information security
- digital libraries