Soundness definition

Soundness. No PPT adversary , can win the following game with more than negligible probability (in κ):

Split View

AI-Powered Contracts

Draft, Review & Redline at the Speed of AI

Get StartedBook a Demo

Soundness in relation to dried fruits means free from disease damage fermentation mould or decay.

Soundness. If an honest party Pi outputs F ⋆, then F ⋆ consists only of cor- rupted parties. Furthermore, Fi ⊆ F ⋆ Definition 5 ((0, 1, 2)-Graded d-Detecting Agreement). Let Π be a pro- tocol executed by parties P1, ..., Pn, where each party Pi inputs vi ∈ {0, 1, 2} and a list of faulty parties Fi ⊂ P and outputs a value yi ∈ {0, 1, ⊥}, a grade gi ∈ {0, 1}, and an updated faulty list F ⋆ ⊂ P upon terminating. A protocol Π achieves (0, 1, 2)-Graded d-Detecting Agreement if the following properties hold whenever at most t parties are corrupted and for all honest parties Pi, i contains only corrupted parties. – Graded Validity: If all honest parties Pi have the same input value vi = v then all honest parties output yi = v and gi = 2 – Graded Consistency: Let Pi and Pj denote honest parties that output yi, ▇▇ and yj, gj, respectively. Then (1) |gi − gj| ≤ 1 and (2) gi, gj ≥ 1 implies that vi = vj – d-Detection: If any honest party Pi outputs gi < 2, then an additional d Pj∈H F ⋆ \ T Pj∈H Fj ≥ d.

Examples of Soundness in a sentence

• The Agency has been duly appointed as Conservator for Seller pursuant to Section 1367(a) of the Federal Housing Enterprises Financial Safety and Soundness Act of 1992 (as amended, the “FHE Act”).

• QUALITY SPECIFICATION AASHTO T176 ASTM D2419 Sand Equivalent 65 Minimum AASHTO T104 ASTM C88 Soundness 15% Maximum using NA2 SO4 or 25% Maximum using MgSO4 AASHTO T96 ASTM C131 Abrasion Resistance 30% Maximum The abrasion test is to be run on the parent aggregate.

• The Purchaser must submit the request on a Contract Conversion Form and all required Program Fees and any additional sum the Program determines in its sole judgment to be necessary as a result of the conversion or amendment in the interest of maintaining the Actuarial Soundness of the Trust Fund.

• At the Deposit Stage they should specify the matters to which they relate and the change being sought, the grounds on which they are made and, wherever possible, the Test(s) of Soundness to which they relate.

• Notwithstanding such approval and any provision of this letter, you acknowledge and understand that any compensation paid or to be paid during or after your employment remains subject to any withholding, escrow or prohibition consistent with FHFA’s authority pursuant to the Federal Home Loan Corporation Act, as amended, or the Federal Housing Enterprises Financial Safety and Soundness Act of 1992, as amended.

• Tests of Soundness Procedural Tests G1 The Plan has been prepared in accordance with the Delivery Agreement including the Community Involvement Scheme.

• The Company has disclosed to Parent a complete and accurate copy of the Company's plan, including an estimate of the anticipated associated costs, for addressing the issues ("Year 2000 Issues") set forth in the statement of the Federal Financial Institutions Examination Council, dated May 5, 1997, entitled "Year 2000 Project Management Awareness," and December 1997, entitled "Safety and Soundness Guidelines Concerning the Year 2000 Business Risk," as such issues affect the Company and its subsidiaries.

• Further information on the criteria for assessing the Soundness of LDPs is contained within LDP Wales.

• Everyone making representations on the Local Development Plan will be encouraged to relate their comments to the Tests of Soundness.

• A Bank that is not classified as critically undercapitalized may obtain judicial review of any final capital classification decision or of any final decision to take supervisory ac- tion made by the Director under § 1229.2, § 1229.4, § 1229.7 or § 1229.9 in ac- cordance with the requirements and procedures set forth in § 1369D of the Safety and Soundness Act (12 U.S.C. 4623).

More Definitions of Soundness

Soundness. If an honest party Pi outputs F ⋆, then F ⋆ consists only of cor- rupted parties. Furthermore, Fi ⊆ F ⋆. Definition 6 (Signature Chain). Let m ∈ {0, 1}∗, let k ∈ N, and let σ denote a sequence k distinct numbers j1, ..., jk ∈ [n]. We write ⟨m⟩σ to denote the nested signatures ⟨. . . ⟨m⟩j1 . . . ⟩jk and refer to σ as a signature chain of length k. ⟨m⟩σ is said to be valid if for all k, the signature with respect to pkj is valid. As previously discussed, both of our early-stopping protocols are constructed based on the (0, 1)-Graded d-Detecting Byzantine Agreement protocol, which in turn is derived from Correct-or-Detect Broadcast protocol Πd-CoD [7] and Proof of Participation protocol ΠPoP [7]. We adopt a bottom-up approach, initially introducing the aforementioned subroutines and subsequently demonstrating the construction of (0, 1)-Graded d-Detecting Agreement protocol and our early- stopping protocols.

Soundness means that the Council must demonstrate that the Core Strategy will be justified, effective and consistent with national policy, is founded on a robust and credible evidence base and is the most appropriate strategy when considered against the reasonable alternatives. The public and other public and private stakeholders, including landowners and developers, must be involved in the preparation of the Core Strategy.

Soundness. The committer proves to the verifier that followed by proving in Zero Knowledge for each i ∈ [k] that for each adjacent pair (ai, bi) ∈ W : (g, ai, bi) the forced open step indeed yields the committed value within the claimed number of computation steps.

Soundness means freedom from ex­ ternal evidence of any disease or condi­ tion which may render a carcass or prod- uctamfit for food.

Soundness. ’ means simply that any state that can be brought to completion by proof-checker commands, in the sense that the final goals all have true conclusions, is ‘‘provable’’ in this sense. To make this notion of soundness a bit more precise, let us recall the following definition from Appendix B of [1]. (Disclaimers regarding the sense in which certain issues are avoided may be found in that appendix. They apply here but will not be repeated here.)