Assignment 4: Faithfullnes

Moderator: Secure Coding Lab

LordHoto
BASIC-Programmierer
BASIC-Programmierer
Beiträge: 135
Registriert: 14. Dez 2009 17:00

Assignment 4: Faithfullnes

Beitrag von LordHoto » 5. Jun 2012 23:07

Hi,

I have a short question about when a formalization is faithful to a secure coding guideline: When my formalization is (just a bit) more restrictive than the actual guideline, does that imply that my formalization is faithful?

Thanks in Advance.

// Johannes
Compiler 1 Tutor WS 12/13

aderhold
Moderator
Moderator
Beiträge: 212
Registriert: 21. Okt 2005 10:50

Re: Assignment 4: Faithfullnes

Beitrag von aderhold » 6. Jun 2012 10:39

LordHoto hat geschrieben:When my formalization is (just a bit) more restrictive than the actual guideline, does that imply that my formalization is faithful?
Since "just a bit" is probably hard to get precise, let's leave that out for a moment. So the claim would be: "A formalization is faithful if it is more (or at least as) restrictive than the informal guideline." That doesn't sound convincing to me, because a formalization that requires "false" to be true would be faithful according to that claim.

So I suggest that you try to define a formalization that is "close to faithful". In your discussion of the formalization, you mention the part that makes the difference between "close to faithful" and "faithful".

Antworten

Zurück zu „Secure Coding Lab“