A Few Remarks About Formal Development of Secure Systems

Details A Few Remarks About Formal Development of Secure Systems A Few Remarks About Formal Development of Secure Systems

2009-02-23

arxiv.org/abs/0902.3861v1

High Assurance Systems Engineering Symposium, Nanjing : Chine (2008)

Computer Science

Logic in Computer Science

10 pages

Scientific paper

10.1109/HASE.2008.49

Formal methods provide remarkable tools allowing for high levels of confidence in the correctness of developments. Their use is therefore encouraged, when not required, for the development of systems in which safety or security is mandatory. But effectively specifying a secure system or deriving a secure implementation can be tricky. We propose a review of some classical `gotchas' and other possible sources of concerns with the objective to improve the confidence in formal developments, or at least to better assess the actual confidence level.

Affiliated with

Also associated with

No associations

Rating

A Few Remarks About Formal Development of Secure Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A Few Remarks About Formal Development of Secure Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A Few Remarks About Formal Development of Secure Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-584232