Security model and safe predicate Sample Clauses

Security model and safe predicate. To analyze the modified protocol, we essentially use the security model from [KPPW+21], which allows the adversary to act partially active and fully adaptive. The only differences in the setting of baCGKA are that 1) users are processing concurrent messages, and 2) no messages will ever be rejected. Regarding 2) it is however possible that messages get lost and hence, even if a user generated an update it might not process this update.
AutoNDA by SimpleDocs
Security model and safe predicate. To analyze the security of CoCoA, we essentially use the security model from [25], which allows the adversary to act partially actively and fully adaptively: in this model, the adversary can adaptively decide which users perform which operations, and can actively control the delivery server; however it can not issue messages on behalf of the users. In [25] this is enforced by assuming authen- ticated channels. Since in CoCoA the signing of protocol messages is more in- volved, parent hash plays an important role also for security against partially active adversaries, and the server no longer just relays messages, we make the use of signatures explicit in this work. As we restrict our analysis to partially active adversaries, the adversary does not get access to signing keys via corrup- tions. While this might look artificial, it has importance in practice as discussed in the introduction, and we still obtain meaningful results in the vein of [25]. Nevertheless, we consider the analysis of CoCoA’s security against fully active adversaries an important question for future work. Except for explicit signatures, the differences in the setting of concurrent CGKA to the one of [25] are that 1) users process concurrent messages, 2) no messages are ever rejected by the server, and 3) the server is allowed to send arbitrary (potentially malformed) messages. Regarding 2), it is however possible that messages get lost and even that a user does not process an update they generated. Whether a user IDi’s update message (and which one) is contained in a round message Mi, is represented by a counter ci. Finally, regarding 3), while our security notion is strictly stronger than the one from [25] (where the server could only forward existing messages), the security of protocols such as TreeKEM and TTKEM can trivially be upgraded to our notion: This is true since round messages in these protocols only consist of signed messages and the adversary does not learn any party’s signing key. In our protocols, in contrast, the server is assumed to perform some computation on users’ messages, hence it makes sense to consider a stronger model where this computation is not trusted.

Related to Security model and safe predicate

  • Environmental and Social Safeguards All of the Projects will be implemented in compliance with the MCC Environmental Guidelines and the MCC Gender Policy, and any resettlement will be carried out in accordance with the World Bank’s Operational Policy on Involuntary Resettlement in effect as of July 2007 (“OP 4.12”) in a manner acceptable to MCC. In accordance with its policies, the Government will ensure that the Projects comply with all national environmental laws and regulations, licenses and permits, except to the extent such compliance would be inconsistent with this Compact. Specifically, the Government will: (a) cooperate with or complete, as the case may be, any ongoing environmental assessments, or if necessary undertake and complete any additional environmental assessments, social assessments, environmental management plans, environmental and social audits, resettlement policy frameworks, and resettlement action plans required under the laws of Indonesia, the MCC Environmental Guidelines, this Compact, the PIA, or any Supplemental Agreement, or as otherwise required by MCC, each in form and substance satisfactory to MCC; (b) ensure that Project-specific environmental and social management plans are developed and all relevant measures contained in such plans are integrated into project design, the applicable procurement documents and associated finalized contracts, in each case, in form and substance satisfactory to MCC; and (c) implement to MCC’s satisfaction appropriate environmental and social mitigation measures identified in such assessments or plans. Unless MCC agrees otherwise in writing, the Government will fund all necessary costs of environmental and social mitigation measures (including, without limitation, costs of resettlement) not specifically provided for, or that exceed the MCC Funding specifically allocated for such costs in, the Detailed Financial Plan for any Project. To maximize the positive social impacts of the Projects, address cross-cutting social and gender issues such as human trafficking, child and forced labor, and HIV/AIDS, and to ensure compliance with the MCC Gender Policy, the Government will: (x) develop a comprehensive social and gender integration plan which, at a minimum, identifies approaches for regular, meaningful and inclusive consultations with women and other vulnerable/underrepresented groups, consolidates the findings and recommendations of Project-specific social and gender analyses and sets forth strategies for incorporating findings of the social and gender analyses into final Project designs as appropriate (“Social and Gender Integration Plan”); and (y) ensure, through monitoring and coordination during implementation, that final Activity designs, construction tender documents and implementation plans are consistent with and incorporate the outcomes of the social and gender analyses and social and gender integration plan. To address gender concerns that impact women’s ability to participate across Projects, MCA- Indonesia will adopt a detailed workplan, subject to MCC approval, for gender work to be undertaken at the policy, institutional capacity building and community levels (the “Targeted Gender Activities”). Xxxxx XX sets forth the MCC Funding allocated for the performance of the Targeted Gender Activities. Prior to the second disbursement of MCC Funding for the Targeted Gender Activities, MCA-Indonesia shall have completed detailed action plans and provided evidence of demonstrated commitment of relevant stakeholders to addressing policy constraints identified in the workplan.

  • HIV/AIDS Model Workplace Guidelines Grantee will: a. implement the System Agency’s policies based on the Human Immunodeficiency Virus/Acquired Immunodeficiency Syndrome (HIV/AIDS), AIDS Model Workplace Guidelines for Businesses at xxxx://xxx.xxxx.xxxxx.xx.xx/hivstd/policy/policies.shtm, State Agencies and State Grantees Policy No. 090.021. b. educate employees and clients concerning HIV and its related conditions, including AIDS, in accordance with the Texas. Health & Safety Code §§ 85.112-114.

  • Cleanliness and Safety; Entry Resident agrees to maintain the assigned bedroom space, the apartment and the common areas of the Property in a clean, safe and sanitary condition, to exercise all due care in the use of same, and to cooperate fully with the Property pest control program as requested. Resident will be responsible for the cost of treatment for bedbugs and similar pests to the extent Owner’s pest control vendor reasonably determines that an infestation has originated within Resident’s assigned space and during Resident’s occupancy. Resident will place all trash in provided receptacles and will be responsible for the cost of cleaning the interior or exterior of the apartment if not kept in sanitary condition. When outdoor temperatures are below 40 degrees Fahrenheit, Resident will keep the apartment’s heat turned on to prevent frozen or burst pipes, including during vacations. When outdoor temperatures exceed 85 degrees Fahrenheit, Resident will keep the apartment’s air conditioning turned on and set to a reasonable temperature to prevent mold or mildew growth, including during vacations. Owner and its agents, employees and contractors may enter any apartment and bedroom space to perform routine maintenance, inspections, showings and other ordinary functions, provided that Owner will provide advance notice to residents of an apartment before such entry. Owner reserves the right to enter an apartment and any bedroom space without prior notice (including a passkey and/or disarming the alarm or other means of entry if locks have been changed) for emergency maintenance or repair purposes, or when there is reasonable cause to believe that a situation exists that could cause danger to life, safety, health or property. Owner may confiscate any item deemed to cause a danger and is under no obligation to pay compensation for or to return such items.

  • CONTRACT WORK HOURS AND SAFETY STANDARDS As per the Contract Work Hours and Safety Standards Act (40 U.S.C. 3701-3708), where applicable, all Customer Purchase Orders in excess of ,000 that involve the employment of mechanics or laborers must include a provision for compliance with 40 U.S.C. 3702 and 3704, as supplemented by Department of Labor regulations (29 CFR Part 5). Under 40 U.S.C. 3702 of the Act, each contractor must be required to compute the wages of every mechanic and laborer on the basis of a standard work week of 40 hours. Work in excess of the standard work week is permissible provided that the worker is compensated at a rate of not less than one and a half times the basic rate of pay for all hours worked in excess of 40 hours in the work week. The requirements of 40 U.S.C. 3704 are applicable to construction work and provide that no laborer or mechanic must be required to work in surroundings or under working conditions which are unsanitary, hazardous or dangerous. These requirements do not apply to the purchases of supplies or materials or articles ordinarily available on the open market, or contracts for transportation or transmission of intelligence.

  • Security and Safety A. The Contractor warrants it is and shall remain in compliance with all applicable local, state and federal laws, regulations, codes and ordinances relating to fire, construction, building, health, food service and safety, including but not limited to the Hotel and Motel Fire Safety Act of 1990, Public Law 101-391. The Judicial Council may terminate this Agreement, pursuant to the termination for cause provision set forth herein, without penalty or prejudice if the Contractor fails to comply with the foregoing requirements. B. The Contractor shall assure that each Attendee is advised of all the appropriate precautions that should be taken to provide for the Attendee’s safety while on the Property. The Contractor shall take every reasonable precaution to provide for the security of Attendees and their belongings. C. The Contractor shall immediately advise the Judicial Council’s staff of any known problems that involve the Attendees during the Program including, but not limited to, assaults, burglaries, accidents, and/or illnesses.

  • Work Health and Safety (a) The employer and employee acknowledge their responsibilities under the Work Health and Safety Act 2011 and Work Health and Safety Regulations 2012. (b) Where there is a Work Health and Safety Representative they must be elected and will carry out the tasks associated with the role of Work Health and Safety Representative set out within the Work Health and Safety Act 2011.

  • Environment, Health, and Safety (a) To the Knowledge of AIDEA and the Acquired Companies, except as disclosed in Disclosure Schedules 3.16(b), (d), and (e), the Acquired Companies have complied with all Environmental, Health, and Safety Laws. No action, suit, proceeding, hearing, investigation, charge, complaint, claim, demand, or notice has been filed or commenced against any of the Acquired Companies alleging any failure to so comply. Without limiting the generality of the preceding sentence, the Acquired Companies, to the Knowledge of AIDEA and the Acquired Companies, have obtained and been in compliance with all of the terms and conditions of all permits, licenses, and other authorizations that are required under, and have complied with all other limitations, restrictions, conditions, standards, prohibitions, requirements, obligations, schedules, and timetables that are contained in, all Environmental, Health, and Safety Laws. (b) Except as disclosed in Disclosure Schedule 3.16(b), neither the Acquired Companies nor AIDEA with respect to the Acquired Companies, to the Knowledge of AIDEA and the Acquired Companies, has any Liability arising out of events or circumstances occurring under any Environmental, Health, and Safety Laws for contamination of, damage to, or polluting any site, location, property, natural resources, the air, or any body of water (surface or subsurface), or for any illness of, or personal injury to, or death of, any employee or other individual related to the foregoing. (c) To the Knowledge of AIDEA and the Acquired Companies, all equipment and personal property owned, leased, or used in the Operations are and have been free of hydrocarbon contamination, asbestos, PCBs, dioxins, and any other hazardous, toxic, radioactive, or dangerous substances, except for the liquefied natural gas and compressed natural gas the Acquired Companies produce, store, and handle, and except for the fuel, lubricants, refrigerants, and solvents that are used in the ordinary course of business in conducting the Operations. The liquefied natural gas and compressed natural gas of the Acquired Companies, and the fuel, lubricants, refrigerants, and solvents used in its Operations, have all been stored, handled, transported, used, and disposed of in accordance with all Environmental, Health, and Safety Laws and consistent with all standard industry practices. (d) Except as disclosed on Disclosure Schedule 3.16(d), all real property the Acquired Companies owns is, to the Knowledge of AIDEA and the Acquired Companies, free from contamination by any substance regulated under, or defined as or considered “hazardous” or “toxic” or “radioactive” or “contamination” or “pollution” under, any Environmental, Health, and Safety Laws, including but not limited to hydrocarbons, asbestos, PCBs, and dioxins. AIDEA has provided IGU with true and complete copies of all environmental assessments, studies, and reports (1) of which AIDEA and the Acquired Companies have Knowledge and (2) that reference the real property any of the Acquired Companies owns, leases, or uses. Although neither AIDEA nor the Acquired Companies has conducted any environmental assessments regarding the leased real property used by the Acquired Companies, neither AIDEA nor the Acquired Companies has Knowledge of any environmental contamination on or under the portions of any leased or used real property where any of the Operations have been conducted. (e) Except as disclosed on Disclosure Schedule 3.16(e), neither the Acquired Companies nor AIDEA has Knowledge of any leak, spill, release, discharge, or disposal of any substance regulated under, or defined as or considered “hazardous” or “toxic” or “radioactive” or “contamination” or “pollution” under any Environmental, Health, and Safety Laws that has occurred on, in, or under the real property any of the Acquired Companies owns, leases, or uses, or has ever owned, leased, or used, in conducting the Operations, that was reportable or should have been reported to any government or governmental agency, or that was or could have been subject to clean up or remediation, under any Environmental, Health, and Safety Laws. (f) Except as disclosed on Disclosure Schedule 3.16(f), to the Knowledge of AIDEA and the Acquired Companies, there is no underground storage tank present on any real property any of the Acquired Companies owns, leases, or uses or has owned, leased or used, in conducting the Operations.

  • Health and Safety Plan Consultant shall prepare and submit a Health and Safety Plan (“HASP”) for the portion of Consultant’s work that will involve field work, assessments, or investigations of certain Project elements. The HASP shall describe how Consultant plans to complete field work, assessments, and/or investigations at the RWF. Consultant’s HASP must comply with the CIP HASP and shall be updated as new conditions are encountered.

  • Contract Work Hours and Safety Standards Act The following clauses apply to any Federal-aid construction contract in an amount in excess of $100,000 and subject to the overtime provisions of the Contract Work Hours and Safety Standards Act. These clauses shall be inserted in addition to the clauses required by 29 CFR 5.5(a) or 29 CFR 4.6. As used in this paragraph, the terms laborers and mechanics include watchmen and guards.

  • National and Most-favoured-nation Treatment 1. Each Contracting Party shall in its territory accord to investments and returns of investors of the other Contracting Party treatment which is fair and equitable and not less favourable than that which it accords to investments and returns of its own investors or to investments and returns of investors of any third state whichever is more favourable. 2. Each Contracting Party shall in its territory accord to investors of the other Contracting Party, as regards management, maintenance, use, enjoyment or disposal of their investment, treatment which is fair and equitable and not less favourable than that which it accords to its own investors or of any third State, whichever is more favourable. 3. The provisions of paragraph 1 and 2 of this Article shall not be construed so as to oblige one Contracting Party to extend to the investors of the other the benefit of any treatment, preference or privilege which may be extended by the former Contracting Party by virtue of: a. Any customs union or free trade area or a monetary union or similar international agreements leading to such unions or institutions or other forms of regional co-operation to which either of the Contracting Party is or may become a Party; b. Any international agreement or arrangement relating wholly or mainly to taxation.

Draft better contracts in just 5 minutes Get the weekly Law Insider newsletter packed with expert videos, webinars, ebooks, and more!