Author: Thomas Fossati Date: To: hackmeeting Subject: Re: [Hackmeeting] Bitcoin as a law enforcement/natsec honeypot:
what is the evidence?
2013/10/19 gin(e) <ginex@???>: > On 10/18/2013 06:09 PM, Thomas Fossati wrote:
>> 2013/10/18 Fabio Pietrosanti (naif) <lists@???>:
>>> cioè non è possibile dimostrare scientificamente che sia sicuro.
>>
>> perche' no? c'e` piu` di un modo per modellare e fare la riduzione
>> che ti serve per decidere quanto un sistema sia sicuro. che poi il
>> modello possa o meno corrispondere alla realta` (vedi random oracle) e
>> che quindi la dimostrazione abbia un valore piu` o meno discutibile e`
>> un altro paio di maniche, ma non mi azzarderei ad affermare che non
>> esiste un metodo scientifico per fare questo tipo di cose. c'e` ed e`
>> stato usato e affinato per parecchi anni ormai.
>
> e' una cazzata. se cio' fosse, potremmo affermare senza ombra di dubbio
> che dio non esiste! ma non e' cosi'. Tornando al software, dimostrare
> che un software e' insicuro e' possibile, non e' possibile il contrario.
> Come e' possibile dimostrare che un software abbia un bug, ma non e'
> possibile dimostrare che non ce l'abbia.
se leggi meglio non ho parlato di software, ma di strumenti di
modellazione di un problema crittografico.
> su cio' ha ragione naif. e non c'e' ombra di dubbio.
