月亮词典
首页
查询
provably
证明地
常用释义
词性释义
adv.
证明地;可查验地;试验得出地
例句
全部
The computer
science research
community
is
constantly
debating
the
question
of
how
to
make
provably
secure
software
.
资讯
科学研究
社群
正在
争论
如何
制作
出
确实
安全
的
软体
。
Inventing
,
analyzing
,
and
optimizing
new
algorithms
or
data structures
that are
provably
better
than
the
alternatives
.
编写
,
分析
并
优化
新
的
算法
或
数据结构
并
证实
比
现有
方案
更
优
。
Careful
source
analysis
can
reason
through
such
conditionals
to
provably
correct
conclusions
.
仔细
进行
源
分析
可以
从
此类
条件
推理
出
证实
正确
的
结论
。
An
efficient
digital
signature
scheme
provably
secure
in
the
standard
model
from
bilinear
maps
was proposed
.
利用
双线性
映射
技术
设计
了
一个
有效
的
在
标准
模型
下
可
证
安全
的
数字
签名
方案
。
The
performance
analysis
results
show
that the
scheme
is
provably
secure
in
the
random
oracle
model
under
the CDH
problem
assumption
.
安全性
分析
表明
,
在
假设
CDH
问题
是
难
解
的
情况
下
,
该
方案
在
随机
预言
模型
中
是
可
证
安全
的
。
In
the
random
oracle
model
,
the
scheme
is
provably
secure
against
adaptive
chosen
ciphertext
attacks
.
在
随机
预言
模型
下
,
该
方案
在
适应性
选择
密
文
攻击
下
是
可
证明
安全
的
。
A
certificateless
signature
scheme
provably
secure
in
the
standard
model
is
analyzed
.
It
points out
that the
scheme
is
insecure
.
通过
对
一个
标准
模型
下
可
证
安全
的
无
证书
签名
方案
进行
分析
,
指出
该
方案
是
不
安全
的
。
Before
HTML5
,
it is
literally
impossible
to
be
provably
standards
compliant
.
在
HTML5
之前
,
标准
兼容
简直
就
不可能
被
加以
证明
。
Not
provably
valid
or
not
valid
.
不可
证明
为
有效
或
无效
。
The
procedure
is
provably
irreversible
.
已经
证明
,
此
过程
是
不可逆
的
。
These
functions
validate
all
strings
unless
they
are
provably
not
valid
.
这些
函数
将
验证
所有
字符串
,
除非
这些
字符串
可
证明
为
无效
。
I
think
Jane
has
something
to
say about
that
.
-
You
know
,
I
think
.
.
.
uh, I don't think
that
that
is
provably
true.
我
认为
简
对
此
有
自己
的
看法
。
-
你
知道
,
我
认为
…
嗯
,
我
不
认为
那
是
可
证实
的
事实
。
This
paper
constructs
a
kind
of
provably
secure
group
signature
scheme
with
authorization
based
on
the BMW
's
scheme
.
在
BMW
方案
的
基础
上
构建
可
证明
安全性
的
具有
权限
特性
的
群
签名
方案
。
Zeroth
Order
Ignorance
(0OI)
:
Lack
of
ignorance
.
I
have
0OI
when
I
provably
know
something
.
零
级
无知
:
没有
无知
。
当
大概
知道
什么
,
称为
有
0OI
。
Computational
Combinatorial
Optimization
Optimal
or
Provably
Near
-
Optimal
Solutions
计算机
组合
优化
中
的
最优
及
可
证
近
优
解
Provably
Secure
Identity
-
Based
Authenticated
Key
Agreement Protocols
in
the
Standard
Model
标准
模型
下
可
证
安全
的
身份
基
认证
密钥
协商
协议
Provably
Secure
Threshold
Signature
Schemes
Without
Random Oracles
标准
模型
下
可
证
安全
的
门限
签名
方案
Provably
Secure
ID
-
Based
Identification
Scheme
without
Random
Oracle
无需
随机
预言
可
证
安全
的
基于
ID
的
身份认证
方案
Second
,
it
is
provably
secure
and
has very good exact
security
against existential
forgery
for
selective
-
ID
attack
in
the
standard
model
;
其次
,
这个
方案
是
可
证明
安全
的
,
即
在
随机
应答
模型
下
,
方案
在
给定
身份
和
选择
明文
攻击
下
是
不可
伪造
的
;
Cryptanalysis
of
Some
Provably
Secure
Signature
Schemes
一些
可
证
安全
签名
方案
的
密码
学
分析
网络释义
可验证性的
这个机器
可验证性的
(
provably
)学习整个概念类。还有,这些类是可被刻画特征的。
同根词
(词根prove)
proved
adj
证实的;被证明的
provable
adj
可证明的;可以查清的
provability
n
可证迷
proved
v
证明;检验;表现出;钻探(prove的过去分词)
prove
vi
证明是
prove
vt
证明;检验;显示
更新时间:2025-05-12 18:50