( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
SecSmartLock: An Architecture and Protocol for Designing Secure Smart Locks.

, , и . ICISS, том 11281 из Lecture Notes in Computer Science, стр. 24-43. Springer, (2018)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Deusdedit R K Nkurunziza

Aman K K Bhasin

K Böhm

K Schweizerhof

K Schaber

 

Другие публикации лиц с тем же именем

Mapping Linear Recurrence Equations onto Systolic Architectures., , и . Int. J. High Speed Comput., 8 (3): 229-270 (1996)A Proof System for a PGAS Language., и . Concurrency, Compositionality, and Correctness, том 5930 из Lecture Notes in Computer Science, стр. 162-184. Springer, (2010)Security and protection of SCADA: a bigdata algorithmic approach.. SIN, стр. 20-27. ACM, (2013)PERTS: an environment for specification and verification of reactive systems: Reliability Engineering and System Safety, 71(3), 2001, 299-310., , и . Reliab. Eng. Syst. Saf., 72 (2): 223 (2001)e-coupons: An Efficient, Secure and Delegable Micro-Payment System., и . Inf. Syst. Frontiers, 7 (4-5): 371-389 (2005)Semantics of Nondeterministic Asynchronous Broadcast Networks, , и . Inf. Comput., 104 (2): 215-252 (июня 1993)Landcoin: A Practical Protocol for Transfer-of-Asset., и . ICISS, том 13146 из Lecture Notes in Computer Science, стр. 124-141. Springer, (2021)Dynamic Distributed Scheduling Algorithm for State Space Search., , , и . Euro-Par, том 7484 из Lecture Notes in Computer Science, стр. 141-154. Springer, (2012)Compositional Semantics for Real-time Distributed Computing., , , , и . Logic of Programs, том 193 из Lecture Notes in Computer Science, стр. 167-189. Springer, (1985)A Graphical Environment for the Specification and Verification of Reactive Systems., , , и . SAFECOMP, том 1698 из Lecture Notes in Computer Science, стр. 431-444. Springer, (1999)