1
Bằng Scarioni, Carlo., Scarioni, Carlo.
Được phát hành 2013
Những chủ đề: ...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...
lấy văn bản
Điện tử eBook
2
Mục lục: ... Information Device Profile -- Java ME-CLDC Security -- Java ME CLDC Security Analysis -- Risk Analysis...
lấy văn bản
Điện tử eBook
3
Được phát hành 2008
Mục lục: ... of Credentials -- Software Security -- BinHunt: Automatically Finding Semantic Differences in Binary Programs...
lấy văn bản
Điện tử eBook
4
Được phát hành 2010
Mục lục: ... -- Invited Talk I -- Cryptography for Unconditionally Secure Message Transmission in Networks (Invited Talk...
lấy văn bản
Điện tử eBook
5
Bằng Siriwardena, Prabath., Siriwardena, Prabath.
Được phát hành 2014
Những chủ đề: ...Security. https://scigraph.springernature.com/ontologies/product-market-codes/I28000...
lấy văn bản
Điện tử eBook
6
Được phát hành 2010
Mục lục: ... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...
lấy văn bản
Điện tử eBook
7
Được phát hành 2012
Mục lục: ... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...
lấy văn bản
Điện tử eBook
8
Được phát hành 2011
Những chủ đề: ...Programming Languages, Compilers, Interpreters. https://scigraph.springernature.com/ontologies...
lấy văn bản
Điện tử eBook
9
Được phát hành 2007
Mục lục: ... Computing -- Traitor Tracing with Optimal Transmission Rate -- Symmetric-Key Cryptography -- The Security...
lấy văn bản
Điện tử eBook
10
Được phát hành 2005
Mục lục: ... Testing on Function Block Diagrams -- Comparing Software Measures with Fault Counts Derived from Unit...
lấy văn bản
Điện tử eBook
11
Được phát hành 2007
Mục lục: ...-Based Safety Cases for Medical Devices: Opportunities and Challenges -- Impact of Security on Safety...
lấy văn bản
Điện tử eBook
12
Được phát hành 2008
Mục lục: ... or Functions? -- Security and Interoperability for MANETs and a Fixed Core -- Technology, Society and Risk...
lấy văn bản
Điện tử eBook
13
Được phát hành 2012
Mục lục: ... of Quality Metrics for Functional Safety in Systems of Cooperative Vehicles -- From Autonomous Vehicles...
lấy văn bản
Điện tử eBook
14
Bằng Hazay, Carmit., Hazay, Carmit., Lindell, Yehuda.
Được phát hành 2010
Những chủ đề: ...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...
lấy văn bản
Điện tử eBook
15
Được phát hành 2010
Mục lục: ... Measurement for Reactor Protection System Software Implemented in Function Block Diagram -- Session 6...
lấy văn bản
Điện tử eBook
16
Bằng Ruan, Xiaoyu., Ruan, Xiaoyu.
Được phát hành 2014
Những chủ đề: ...Security. https://scigraph.springernature.com/ontologies/product-market-codes/I28000...
lấy văn bản
Điện tử eBook
17
Được phát hành 2006
Mục lục: ... Key Generation for Multi-layer Ad-Hoc Networks -- Enabling Secure Discovery in a Pervasive Environment...
lấy văn bản
Điện tử eBook
18
Được phát hành 2005
Mục lục: ... Can Prove So Many Things in Zero-Knowledge -- Identity Based Cryptography -- Improvements on Security...
lấy văn bản
Điện tử eBook
19
Được phát hành 2006
Mục lục: ...Security Protocols -- Strong and Robust RFID Authentication Enabling Perfect Ownership Transfer...
lấy văn bản
Điện tử eBook
20
Được phát hành 2005
Mục lục: ... of Security/Primitives -- Relationships Between Diffie-Hellman and “Index Oracles” -- On the Security Notions...
lấy văn bản
Điện tử eBook