Re: "Perfect" or "Provable" security both crypto and non-crypto?

From: Douglas A. Gwyn (DAGwyn_at_null.net)
Date: 09/14/04 

Date: Tue, 14 Sep 2004 19:32:39 GMT

Bryan Olson wrote:
> ... Even in a trivial example of your own
> choosing, Paul found a case that you missed.

No, I didn't miss it. I was giving an example, using C
for the code only because that would be understood better
than if I invented a new language or used a lesser-known
one. (In most languages, a construct like a[i] would be
accepted only for a declared as an array.) Obviously
there is a generic issue with pointers in C, and if you
paid attention to the context you would know that I was
not advocating correctness analysis of arbitrary C code.

Relevant Pages

  • Re: =?UTF-8?B?44CM44Gv44CN44CAdnMuIG9yIG5vdCB2cy4g44CM44GM44CN?=
    ... Paul D wrote: ... language and say it in Japanese, you need to decide which one to use for the ... I suspect the former falls under the emphatic function of が. ... they have functions of different layer of grammer. ...
    (sci.lang.japan)
  • Re: SuSE Fonts
    ... just personally use yyyymmdd (most programs insert the slashes or dashes ... language would just be confusing to many. ... But actually, Paul, I was asking everyone whether they thought it should ...
    (alt.os.linux.suse)
  • dont even try to market the shoes constantly, emerge them hatefully
    ... The climate past the linguistic sea is the language that sings equally. ... Where will you associate the positive voluntary performances before Paul does? ... It can closer pay prior to Saeed when the inherent pots match in response to the ready island. ...
    (sci.crypt)
  • Re: Arabic nadzar, Serbian nadzor - false cognates?
    ... walking and finds another man neck-deep in a swamp. ... In other words, Paul, these people live in the swamp. ... language pair theory"; where you demonstrated a striking intellectual ...
    (sci.lang)
  • Re: Python evolution: Unease
    ... Paul> in some printed books. ... Paul> instead of in the language manual where you'd expect to find them ... docs before incorporating them into the Python docs, ... In the documentation arena, I think more thought should probably be given to ...
    (comp.lang.python)
Quantcast