Expansion Phase. The period of time from the end of the Initial Phase until termination of the Contract.
Expansion Phase a) Marine all Risks (including war) in respect of transportation of all critical machinery/equipment.
Expansion Phase. In Expansion Phase, we require that every honest party Pj in ′ should hold a distinct secret random hash key and hash value of the message corresponding to every party Pi in , such that the hash key and hash value that Pj has received from Pi should not be known to anybody other than Pi and Pj. Though achieving this in synchronous network is easy, it needs some amount of effort in asynchronous network. We do this by using AVSS-Share and AVSS-Rec. The code that implements this phase is now given in Fig. 1. Before proving the properties of Checking Phase, we define the following: I
Expansion Phase. The Expansion Phase concerns the phase after the closure of the project. The scope is to consolidate, expand and extend the introduction of the results in sectors different that the aviation one. Being those sectors possibly outside the aeronautic field but also outside the current scope of the project, this phase could run far beyond the end of the OSCAR project. Possible actions to implement are: • to develop follow-up project proposals • to define dissemination actions outside the aviation sector • to define long-term marketing and dissemination measures • to extend the geographical availability of the OSCAR outcomes
Expansion Phase. Participate in code Expansion presented in Fig. 2 to ex- next phase. Otherwise set m∗α to some predefined value m†α ∈ {0, 1} t , set A and all honest parties in Pejx hold mα∗ . If Pejx is generated successfully then pro- pand Pcjh to contain 2tj + 1 parties, denoted by Pejx such that Pcjh ⊂ Pejx ⊆ Pj ceed to the next phase. Otherwise output a triplet (Pm, Pl, Pk), set nj = nj − 3,
Expansion Phase. In an execution of Ex- pansion Phase in a segment α, all the honest parties in ejx (if found) will hold a common message mα∗ , which was also the common message held by the honest parties in Pcjh, except with probability 2−Ω(κ). Moreover if the honest parties start Sα with same input message mα, then m∗α = mα. Proof: Let us consider party Pf , who is the first honest party to enter into ‘initial’ K during the Expansion phase. Recall that Pf enters into K (hence Pejx) when it receives a message m∗α from some already existing (possibly cor- K rupted) party Pj in and Pf ’s generated v−→f is identical to →−v . We claim that α α ∈ K m∗ = m∗ , except with error probability 2−Ω(κ). Consider an honest Pk and an honest Pl in I1 with →−v [l] = 1 (there is at least one such honest Pl as |I1| ≥ tj + 1). By Collision Theorem, mkα = mlα = m∗α, except with error probability 2−Ω(κ). Now since v−→f = →−v , it implies that →−v f [l] = 1, as →−v [l] = 1. This further implies that mα∗ = mlα. Hence it implies that m∗α = m∗α holds, with very high probability. This is because the key and hash value pair (rlf , lf ) is not known to anyone (including possibly corrupted Pj) other than Pf and Pl. Hence with very high probability, Pf has received m∗α from Pj. K Now let Ps be the second honest party to enter into ‘initial’ . Ps may X X receive its message either from Pf or from any party belonging to ‘initial’ . In both cases, Ps’s message will be m∗α, except with negligible error probability. In general, if an honest party Pi enters into ‘initial’ at sometime, then its message will be equal to mα∗ , except with negligible error probability. Q S ∈ K ∈ K ∈ I Lemma 7 (Correctness-II of Expansion Phase). In an execution of Ex- pansion Phase in a segment α, if a triplet (Pm, Pl, Pk) is A-casted by Pl then at least one of Pm, Pl and Pk is corrupted, except with error probability 2−Ω(κ) where Pm ∈ K, Pl ∈ K and Pk ∈ I1.
Expansion Phase. The Expansion Phase covers the post-project period only. The main purpose of this phase is
Expansion Phase. The Concessionaire shall promptly commence and complete the works, including installation of equipment in accordance with the conditions of Expansion Phase and shall also obtain from the Independent Engineer a certificate as to completion of construction of Project Facilities and Services in accordance with provisions of this Agreement (“Completion Certificate”) not later than 24 months from the date of commencement of Expansion Phase of the terminal. Obligations of the Concessionaire Without prejudice to the generality of Article 6.3 and in addition to any of its other obligations under this Agreement, during the Expansion Phase, the Concessionaire shall: arrange for, in a timely manner all necessary financial and other resources required for construction and installation of the Project Facilities and Services. engage professionally competent Persons for project management and construction and ensure that all works are carried out in compliance with the Construction Standards; give written notice to the Concessioning Authority within 7 (seven) Days of any material modification to any of the Financing Documents and/or any Equity Documents and shall simultaneously therewith also furnish copies of such modified documents to the Concessioning Authority. Provided no such modification will be made if it in any manner whatsoever has the effect of imposing an additional financial obligation or increasing the financial obligation of the Concessioning Authority in addition to that contemplated under the Financing Documents provided on Financial Close, without the prior written consent of the Concessioning Authority. For avoidance of doubt any such modifications made without the prior written consent of the Concessioning Authority will not be enforceable against the Concessioning Authority; obtain Applicable Permits, comply with Applicable Laws and Applicable Permits and give priority to safety in its construction and planning activities in order to protect life, health, property and environment; provide to the representatives of the Concessioning Authority, at reasonable times and upon prior intimation, access to the Project Site to review progress in construction and to ascertain compliance with any of the requirements of this Agreement. Provided that non- inspection by the Concessioning Authority of any works shall not, in relation to such works,
Expansion Phase. Participate in code Expansion presented in Fig. 2 to ex- next phase. Otherwise set m∗α to some predefined value m†α ∈ {0, 1} f , set l and all honest parties in Pe'x hold mα∗ . If Pe'x is generated successfully then pro- pand Pc'h to contain 2t' + 1 parties, denoted by Pe'x such that Pc'h ⊂ Pe'x ⊆ P' ceed to the next phase. Otherwise output a triplet (Pm, Pl, Pk), set n' = n' − 3,
