查询词典 formal

Provable Security is a formal method for proving the security of cryptographic schemes, in which the difficulty of breaking a particular scheme is formally related to that of solving a widely believed computational hard problem. Provable security has already become an important theme of theoretical researches in modern cryptography. This dissertation investigates the provable security of public-key encryptions and hybrid encryptions of asymmetric and symmetric encryptions. This includes the various formal security notions and the constructions can be proved to achieve them. Among the constructions, hybrid encryptions are themselves an important way to obtain public-key encryption schemes with chosen ciphertext security. The main results are as follows:(1) The one-wayness of the trapdoor one-way function in NTRU depends on the randomness of the session key, which is different from previous ones. Based on this observation, a new kind of trapdoor one-way function, trapdoor one-way functions with an auxiliary random variable is proposed.

可证明安全性是一种证明密码学方案安全性的形式化方法，它将密码学方案的安全性归约为公认的计算难题，已成为现代密码学领域中理论工作的主线，本文主要研究公钥加密与单双钥混合加密的可证明安全性，这包括它们的各种形式化安全性定义以及达到这些安全性定义的方案构造，而单双钥混合加密本身也是一种构造选择密文安全公钥加密的重要方法，本文得到的主要结果如下：(1)在研究NTRU公钥加密的特殊性基础上，对于公钥加密的陷门单向函数加密模型进行了扩展，提出了具有辅助陷门单向函数的概念，并将其扩展到多元的情况，讨论了可能的密码学用途。

Formal entry, formal living room and dining room, huge family room with fireplace and custom cabinetry.

正式入口，正式的客厅和饭厅，庞大的家庭房间，壁炉和定制橱柜。

My child, when i went to the lab today , i put on my formal clothes ,even though it's muggy, and though they've been poor to wear out,they're formal; as i went to the auditorium,i pull my bamboo mules,yes,you know, it's polite to others to dress formaly ,even though they 're not such caparison , and it's polite to yourself to dress degagely, what matters is that it's not polite neither to others nor to yourself to dress up your soul,it should be another truth.

孩子，今天我去实验室的时候，又穿上了那件有些破旧的不愿穿出去的衣裳，尽管天气闷热，但是我穿的还是正式的。今天我去小礼堂休憩的时候，我就趿拉着我那竹木的拖鞋。你知道吗？即使不是华丽的衣服，穿的正式点也是对别人的尊重，而穿的随意点是对自己的尊重，当然，你更要知道，给自己的灵魂装扮起来可是对谁也算不上尊重。这大概算另外一个真理。类别：孩子，当你睁开眼睛看到世界|评论(1)|浏览

Because traditional finance subject utmostly canonize the rational selected mode and methodology which keep the form of the financial interest need of the enterprise and its stockholders and the network of their financial relationship out of its analytic area, so liking the mainstream economics, traditional finance subject can not offer trustworthy explains to many financial affairs and can not prescribe the right policy prescription to the important financial problems, either. As a result of the logistic and realistic errors in the traditional mode, it will have an important and practical meaning to bring the new system principle into the analytic area of the financial subject and to develop the financial theory. The main points of this dissertation are as follows: The financial affairs of an enterprise are not the inner actions of the individual firm, but the function of the financial network of stockholders, so we should use the limit of the affairs not the inner property or inner driving force to interpret the financial affairs of an enterprise, we should use the method of circuital analysis not of individual analysis to investigate the financial affairs of an enterprise; The financial affairs of an enterprise is a social behavior, it is involved in the social structure and is restricted by the social structure, so we should care for the social characters, social responsibilities and social effects of the financial affairs of an enterprise; The financial network of stockholders is composed of five phases as follows: the finance of external stockholders, the finance of the operator, the finance of function, the finance of subsection and the finance of the stuff, in which the finance of the operator is dominant; The operational intensity and efficiency of the financial network of stockholders are influenced by technical factor as well as institutional factor, in which institutional factor is the fundamental character of financial affairs. Ultimately the substance of the financial affairs is the arrangement and operation for the financial system by stockholders; The relationship between enterprise and its stockholders is cooperative and conflicting. The important mechanism to solve the financial conflict between stockholders is the construction of the financial system, including the formal and informal system construction. Information and faith are the important mechanism to coordinate the financial conflict between stockholders, so we should pay much attention to the research of formal and informal system.

本文的主要观点是：企业财务行为不是企业个体内部的行为，而是利益相关者财务网络行为，因此应当用对行为的结构限制而不是企业个体的内在属性或内在驱力来解释企业的财务行为，用网络分析的方法而不是个体分析的方法研究企业财务行为；企业财务行为是一种社会行为，它嵌入于社会结构之中，受企业财务所处的社会结构的限定，因此应当关注企业财务行为的社会性质、社会责任和社会后果；利益相关者财务网络内含外部利益相关者财务、经营者财务、职能财务、分部财务和员工财务五个层次，其中经营者财务在其中占据主导地位；利益相关者财务网络的运作强度与运作效率既受技术性因素的影响，又受制度性因素的影响，其中制度性是财务的根本属性，企业财务的实质说到底还是面向利益相关者的一种财务制度性的安排与运作；企业与利益相关者之间以及利益相关者相互之间的财务关系具有合作性与冲突性，化解利益相关者财务冲突的重要机制是财务性的制度建设，包括正式制度建设与非正式制度建设，信息和信任是协调利益相关者财务冲突的重要机制，因此应当高度关注财务的正式和非正式制度的研究。

It is a formal theory of computability in the same sense as classical logic is a formal theory of truth.

它是可计算性的形式理论，正如经典逻辑是真理的形式理论。

Like Munich, its residents are formal, but with small doses of courtliness, polite forms of address and formal dress attire, the residents of Vienna tend to be equally modern and old-fashioned.

和慕尼黑一样，维也纳的居民也很讲礼节，不过加上他们稍许的谦恭、礼貌的言辞和正式的著装，他们往往显得既现代又传统。

LikeMunich, its residents are formal, but with small doses of courtliness, polite forms of address and formal dress attire, the residents ofViennatend to be equally modern and old-fashioned.

和慕尼黑一样，维也纳的居民也很讲礼节，不过加上他们稍许的谦恭、礼貌的言辞和正式的着装，他们往往显得既现代又传统。

Unifying themes in mathematical logic include the expressive power of formal logics and the deductive power of formal proof systems.

数理逻辑和电脑科学有许多重合之处，这是因为许多电脑科学的先驱者既是数学家、又是逻辑学家，如阿兰·图灵，邱奇等。

If you start in a formal manner in a letter written to a dignitary, keep the formal manner throughout the letter.

如果你给一位达官显贵的信开始用的是规范文体，则以此文体贯彻始终。

Don't forget to bring outfits for different occasions, for example, the President's Dinner Dance is a formal dinner and the Golden Gavel Luncheon is business formal.

为因应不同场合，不要忘记带不同服装应变，例如，总会长之夜是正式场合，而金槌奖午餐会则是商业性质的场合。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。