4 ms·
It is always X meets Y under the assumption Z. But what if Y is incomlete or Z is invalid? Note that nowhere in that they claim X is secure.
by daghamm 2y ago
It is always X meets Y under the assumption Z. But what if Y is incomlete or Z is invalid?
Note that nowhere in that they claim X is secure.
- naasking 2y ago"Secure" is ambiguous, so of course they wouldn't claim X, whatever that is, is "secure". For instance, a microkernel does not provide cryptographic confidentiality, but some readers include such properties under the umbrella of "secure", so using that term would be dumb. When talking about proofs you describe the specific properties proven in a way that leaves no ambiguity.