Dakota State University Madison, SD 57042, USA;
cryptographic protocol analysis; free algebras; equational theories; constraint solving; exclusive-OR;
机译:在活动噪声消除应用中的声音信号的BSC和AWGN信道失真效应分析
机译:聆听角度对空间声音再现中串扰消除的影响的主观和主观分析
机译:使用基于身份的公钥加密技术对移动无线网络的切换认证协议进行分析
机译:基于身份的协议的符号分析
机译:关于加密协议形式分析的计算合理性。
机译:计算机化的肺部声音分析可改善资源贫乏地区小儿肺炎诊断的特异性:一项观察性研究的方案和方法
机译:基于侦听器位置跟踪的声音渲染系统串扰取消方案的客观性能分析