From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!.POSTED!not-for-mail
From: "Jeffrey R. Carter" <spam.jrcarter.not@spam.not.acm.org>
Newsgroups: comp.lang.ada
Subject: Re: Is the Documentation In a spec File Usually Enough For You ?
Date: Tue, 16 Oct 2018 18:57:46 +0200
Organization: Also freenews.netfront.net; news.tornevall.net;
 news.eternal-september.org
Message-ID: <pq55ad$l96$1@dont-email.me>
References: <7fcdcc97-67e4-473b-abc4-cd0ecd4501ad@googlegroups.com>
 <pq2gge$a3s$1@dont-email.me>
 <8f6c0bfa-f7ed-4bee-a766-c786269f13a1@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Injection-Date: Tue, 16 Oct 2018 16:57:50 -0000 (UTC)
Injection-Info: reader02.eternal-september.org;
 posting-host="ca5b51e7e2e9f5c94eb6b40ff73f6000";
	logging-data="21798"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19K+X3/Q4NDgUMj1WBgD0G+Dgf/7hBghVU="
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101
 Thunderbird/60.2.1
Cancel-Lock: sha1:+B3lA2eSwl/NKU6ByaXM71f/N2A=
In-Reply-To: <8f6c0bfa-f7ed-4bee-a766-c786269f13a1@googlegroups.com>
Content-Language: en-US
Xref: reader02.eternal-september.org comp.lang.ada:54606
Date: 2018-10-16T18:57:46+02:00
List-Id: <comp.lang.ada>

On 10/16/18 11:57 AM, AdaMagica wrote:
> 
> OK. In function Password_Generation.Generate, what are Domain and Master for?
> What does Hash_Symbol do?

Good points. This was extracted from a more monolithic, earlier version of 
Password_Gen, where perhaps these concepts were better explained, and I didn't 
think to clarify them when I pulled them out. I'll try to explain these better.

> What does "correctness of the implementation" mean for this package?

That the function returns the same password for the same inputs, and the 
passwords have all the desirable features for generated passwords:  they appear 
random, contain characters from all the major food groups, and give away nothing 
about the master password.

-- 
Jeff Carter
"Blessed is just about anyone with a vested interest in the status quo."
Monty Python's Life of Brian
73