首页> 外文OA文献 >A formal analysis of the MLS LAN: TCB-to-TCBE, Session Status, and TCBE-to-Session Server Protocols

【2h】

A formal analysis of the MLS LAN: TCB-to-TCBE, Session Status, and TCBE-to-Session Server Protocols

机译：对MLS LAN的形式分析：TCB到TCBE，会话状态和TCBE到会话服务器协议

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

Approved for public release; distribution is unlimited.

机译：批准公开发布；发行是无限的。

著录项

作者
Craven Daniel Shawn;
展开▼
作者单位

展开▼
年度 2004
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. On-Demand Server Synchronization Protocols of Session Guarantees [J] . Lukasz PIATKOWSKI, Cezary SOBANIEC, Grzegorz SOBANSKI, Foundations of computing and decision sciences . 2010,第4期

机译：会话保证的按需服务器同步协议
2. A method for forensic artefact collection, analysis and incident response in environments running session initiation protocol and session description protocol [J] . Ioannis Psaroudakis, Vasilios Katos, Panagiotis Saragiotis, International journal of electronic security and digital forensics . 2014,第4期

机译：一种在运行会话发起协议和会话描述协议的环境中进行法医文物收集，分析和事件响应的方法
3. Comparing entropy measures of idea links in design protocols: Linkography entropy measurement and analysis of differently conditioned design sessions [J] . JEFF W.T. KAN, ZAFER BILDA, JOHN S. GERO Artificial Intelligence for Engineering Design, Analysis & Manufacturing . 2007,第4期

机译：在设计协议中比较思想链接的熵测度：Linkography熵测度和不同条件的设计会话的分析
4. Panel session: Part B Europe: Status of integrating renewable electricity production into the grids and developments in distributed electrical power generation in compliance with the Kyoto Protocol (Panel Session Paper 290-0) [C] . Institute of Electrical and Electronics Engineers Russia Power Tech . 2008

机译：面板会议：B部分欧洲：将可再生电力生产整合到符合京都协议（小组会议论文290-0）的分布式电力发电的网格和发展的地位
5. Formal analysis of security protocols: Protocol composition logic. [D] . Derek, Ante. 2006

机译：安全协议的形式分析：协议组成逻辑。
6. Testing non-inferiority of blended versus face-to-face cognitive behavioural therapy for severe fatigue in patients with multiple sclerosis and the effectiveness of blended booster sessions aimed at improving long-term outcome following both therapies: study protocol for two observer-blinded randomized clinical trials [O] . Marieke Houniet-de Gier, Heleen Beckerman, Kimberley van Vliet, 2020

机译：测试混合硬化与面对面认知行为疗法在多发性硬化症患者中的严重疲劳的非劣效性以及混合增强疗法的有效性旨在改善两种疗法后的长期疗效：两个观察者盲的随机临床研究方案试验
7. Testing non-inferiority of blended versus face-to-face cognitive behavioural therapy for severe fatigue in patients with multiple sclerosis and the effectiveness of blended booster sessions aimed at improving long-term outcome following both therapies: study protocol for two observer-blinded randomized clinical trials [O] . Marieke Houniet-de Gier, Heleen Beckerman, Kimberley van Vliet, 2020

机译：测试混合与面对面认知行为治疗的非劣效性，用于多发性硬化症患者的严重疲劳和混合增强术患者的有效性，旨在改善两种疗法后的长期结果：两个观察者盲化随机临床的研究方案审判

A formal analysis of the MLS LAN: TCB-to-TCBE, Session Status, and TCBE-to-Session Server Protocols

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅