查询词典 formal

It is a new study direction of cryptograph that detecting potential flaws in cryptographic protocols using formal analysis of cryptographic protocol.

在通信网络中，身份认证是第一道安全屏障，也是实施访问控制的基础，通信安全几乎总是开始于身份认证握手过程。

Reliable cryptograph is set up in math and formal computer science. According to the computational theory, the paper expounds mathematical background for public-key cryptosystem including: the complexity of algorithm and problem, relationship between the length of key and security of cryptogram.

可靠的密码学是建立在数学和形式化的计算机科学产生的结论之上的，本文从计算理论的角度阐述了构建对称密码体制所需的数学背景：算法复杂性与问题复杂性的关系；NP问题与密码学的关系；密钥长度与密码安全的关系。

Formal methods and tools are key aspects for the analysis of cryptographic protocols.

加密协议的分析需要形式化的方法和工具。

For more formal events wear a French-cuffed shirt with cuff links that reflect your personality.

对更正式一点的场合，穿着法式袖口着链扣的衬衫有则会显示你的个人品位。

The formal note was struck by the cummerbund.

腰封透露了正式的情怀。

She had only made me a formal curtesy.

她对我只是打个礼节性的招呼。

In more formal variants of the curtsey, the woman bends the knees outward, often sweeping one foot behind her.

更加正式的一种屈膝礼中，女性屈膝时双膝需略微向外打开，并将一只脚后撤。有时还要双手拎起体侧的裙摆。

A section of curved wall became a mirror and the Consul stared at the image there: a more than middle-aged man in semi-formal evening wear, sunburned skin but oddly pale under the sad eyes.

弯曲墙壁的一部分变成一面镜子，领事盯着镜中的影像：一个上了年纪的中年人，穿着半正式的晚装，皮肤晒得黝黑，但是悲伤的眼睛中带着奇异的惨白。

In last formal meeting, leaders' speach was so cut and dried that a lot of audients fell asleep.

Cut and dried的意思是：老一套，或者是人们所预料的，或者是根据以往的老做法来行事。

I don't believe a single formal textbook on cybernetics was ever written in English.

我认为没有一本正式的控制论教科书是用英文写成的。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐