0 votes
in Software Engineering by

How can formal methods be used to ensure the separation logic (one important aspect is the separation of information between different levels of classified information)? Do you know of any projects where they try this?

Your answer

Help us make this a great place for discussion by always working to provide accurate answers.
Privacy: Your email address will only be used for sending these notifications.

Related questions

Welcome to CPEN Talk
Solution-oriented students of computer engineering on one platform to get you that


Chuck Norris can compile syntax errors.