搜索结果: 1-2 共查到“军事学 the task”相关记录2条 . 查询时间(0.027 秒)
How to Sign Paper Contracts? Conjectures & Evidence Related to Equitable & Efficient Collaborative Task Scheduling
traffic analysis encrypted containers
2014/3/11
This paper explores ways of performing commutative tasks by $N$ parties. Tasks are defined as {\sl commutative} if the order at which parties perform tasks can be freely changed without affecting the ...
Using Task-Structured Probabilistic I/O Automata to Analyze an Oblivious Transfer Protocol
Task-Structured Probabilistic I/O Automata Oblivious Transfer Protocol
2009/3/19
The Probabilistic I/O Automata framework of Lynch, Segala and Vaandrager provides tools for
precisely specifying protocols and reasoning about their correctness using multiple levels of abstraction,
...