Initial Assumptions Sample Clauses

Initial Assumptions. Initial assumptions are statements defining what each principal possesses and knows at the beginning of a protocol run. The following specifies the initial assumptions of the scheme: Express TTP possessions at time t0 – Ai = H(Ui,Ny) – Bi = H(Nz,Ny) XOR H(U,Ny) – si = H(H(U,Ny),Nz) A1: TTP possess at [0] Nx; A2: TTP know at [0] NOT (Zero possess at [0] Nx); A3: TTP possess at [0] Ny; A4: TTP know at [0] NOT (Zero possess at [0] Ny); A5: TTP possess at [0] Nz; A6: TTP know at [0] NOT (Zero possess at [0] Nz); A7: TTP possess at [0] H(Ui,Ny); A8: TTP know at [0] Ui possess at [0] H(Ui,Ny); A9: TTP possess at [0] XOR(H(Nz,Ny), H(Ui,Ny)); A10: TTP know at [0] Ui possess at [0] XOR(H(Nz,Ny), H(Ui,Ny)); A11: TTP possess at [0] H(H(Ui,Ny),Nz); A12: TTP know at [0] Ui possess at [0] H(H(Ui,Ny),Nz); A13: TTP possess at [0] H(Uj,Ny); A14: TTP know at [0] Uj possess at [0] H(Uj,Ny); A15: TTP possess at [0] XOR(H(Nz,Ny), H(Ui,Ny)); A16: TTP know at [0] Uj possess at [0] XOR(H(Nz,Ny), H(Uj,Ny)); A17: TTP possess at [0] H(H(Uj,Ny),Nz); A18: TTP know at [0] Uj possess at [0] H(H(Uj,Ny),Nz); Express Ui possessions at time t0 – Bi= XOR(H(Nz,Ny), H(Ui,Ny)) – H(Ai)= H(H(Ui,Ny)) – si= H(H(Ui,Ny),Nz) A19: Ui possess at [0] Uj; A20: Ui possess at [0] Sk; A21: Ui possess at [0] XOR(H(Nz,Ny), H(Ui,Ny)); A22: Ui possess at [0] H(H(Ui,Ny)); A23: Ui possess at [0] H(H(Ui,Ny),Nz); A24: Ui possess at [0] H(Nx); A25: Ui possess at [0] Nt; A26: Ui know at [0] NOT ZERO possess at [0] Nt; Express Uj possessions at time t0 – Bj= XOR(H(Nz,Ny), H(Uj,Ny)) – H(Aj)= H(H(Uj,Ny)) – sj= H(H(Uj,Ny),Nz) A27: Uj possess at [0] Ui; A28: Uj possess at [0] Sk; A29: Uj possess at [0] XOR(H(Nz,Ny), H(Uj,Ny)); A30: Uj possess at [0] XOR(H(Nz,Ny), H(Ui,Ny)); A31: Uj possess at [0] H(H(Uj,Ny)); A32: Uj possess at [0] H(H(Uj,Ny),Nz); A33: Uj possess at [0] H(Nx); A34: Uj possess at [0] H(H(H(Uj,Ny),Nz), XOR(H(Nz,Ny), H(Ui,Ny))); Express Sk possessions at time t0 A35: Sk possess at [0] H(Nz,Ny); A36: Sk possess at [0] H(Sk,H(Nx));
AutoNDA by SimpleDocs

Related to Initial Assumptions

  • Project Assumptions The following assumptions are specific to this project:

  • Self-Assumption Any self-insured retention, deductibles and exclusions in coverage in the policies required under this Article shall be assumed by, for the account of and at the sole risk of Seller or the subcontractor which provides the insurance and to the extent applicable shall be paid by such Seller or subcontractor. In no event shall the liability of Seller or any subcontractor thereof be limited to the extent of any of the minimum limits of insurance required herein.

  • Additional Assignments The Contractor further agrees to, and if applicable, cause each of its employees to, execute, acknowledge, and deliver all applications, specifications, oaths, assignments, and all other instruments which the City might reasonably deem necessary in order to apply for and obtain copyright protection, mask work registration, trademark registration and/or protection, letters patent, or any similar rights in any and all countries and in order to assign and convey to the City, its successors, assigns and nominees, the sole and exclusive right, title, and interest in and to the deliverables. The Contractor’s obligations to execute, acknowledge, and deliver (or cause to be executed, acknowledged, and delivered) instruments or papers such as those described in this Paragraph 38 a., b., and c. shall continue after the termination of this Contract with respect to such deliverables. In the event the City should not seek to obtain copyright protection, mask work registration or patent protection for any of the deliverables, but should desire to keep the same secret, the Contractor agrees to treat the same as Confidential Information under the terms of Paragraph 37 above.

  • Assignment and Assumption The parties to each assignment shall execute and deliver to the Administrative Agent an Assignment and Assumption, together with a processing and recordation fee in the amount of $3,500; provided, however, that the Administrative Agent may, in its sole discretion, elect to waive such processing and recordation fee in the case of any assignment. The assignee, if it is not a Lender, shall deliver to the Administrative Agent an Administrative Questionnaire.

  • SUBCONTRACTS and ASSIGNMENTS Except as may be set forth in the Special Provisions, the Contractor agrees not to subcontract, assign, transfer, convey, sublet or otherwise dispose of this Agreement or any right, title, obligation or interest it may have therein to any third party without prior written approval of H-GAC. The Contractor acknowledges that H-GAC is not liable to any subcontractor or assignee of the Contractor. The Contractor shall ensure that the performance rendered under all subcontracts shall result in compliance with all the terms and provisions of this Agreement as if the performance rendered was rendered by the Contractor. Contractor shall give all required notices, and comply with all laws and regulations applicable to furnishing and performance of the work. Except where otherwise expressly required by applicable law or regulation, H-GAC shall not be responsible for monitoring Contractor's compliance, or that of Contractor’s subcontractors, with any laws or regulations.

  • Additional Assurances Except as may be specifically provided herein to the contrary, the provisions of this Agreement shall be self-operative and shall not require further agreement by the parties; provided, however, at the request of either party, the other party shall execute such additional instruments and take such additional acts as are reasonable, and as the requesting party may reasonably deem necessary, to effectuate this Agreement.

  • Testing and Acceptance Designer will exercise commercially reasonable efforts to test Deliverables requiring testing and to make all necessary corrections prior to providing Deliverables to Client. Client, within five (5) business days of receipt of each Deliverable, shall notify Designer, in writing, of any failure of such Deliverable to comply with the specifications set forth in the Proposal, or of any other objections, corrections, changes or amendments Client wishes made to such Deliverable. Any such written notice shall be sufficient to identify with clarity any objection, correction or change or amendment, and Designer will undertake to make the same in a commercially timely manner. Any and all objections, corrections, changes or amendments shall be subject to the terms and conditions of this Agreement. In the absence of such notice from Client, the Deliverable shall be deemed accepted.

  • Installation and Acceptance 4.1 Unless otherwise agreed in the Proposal, SDSD shall install the Product and other Licensed Materials on the Equipment.

  • TEACHING LOADS AND ASSIGNMENTS A. The normal daily/weekly teaching load shall be:

  • SUBLEASING AND ASSIGNMENT The Sublessee may not lease, sublease, or assign the Premises without the prior written consent of the Sublessor.

Time is Money Join Law Insider Premium to draft better contracts faster.