Concepedia
European Symposium on Research in Computer Security · 1990 · 85 citations · 0 references
EngineeringData FlowInformation TheoryAutomated ReasoningFormal MethodsComputer ScienceInformation ManagementInformation Flow