Chủ đề được đề xuất trong tìm kiếm của bạn.
Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
functionality security » functionality securing, functional security, functionality usability
https functionality » its functionality, bags functionality, cross functionality
using https » using http, nursing https, aging https
functionality security » functionality securing, functional security, functionality usability
https functionality » its functionality, bags functionality, cross functionality
using https » using http, nursing https, aging https
1
Bằng Debbabi, Mourad., Debbabi, Mourad., Saleh, Mohamed., Talhi, Chamseddine., Zhioua, Sami.
Được phát hành 2007
Mục lục:
“... Information Device Profile -- Java ME-CLDC Security -- Java ME CLDC Security Analysis -- Risk Analysis...”Được phát hành 2007
lấy văn bản
Điện tử
eBook
2
Những chủ đề:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
lấy văn bản
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
Đượ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
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
Những chủ đề:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
lấy văn bản
lấy văn bản
Điện tử
eBook
8
Được phát hành 2007
Mục lục:
“... Multiplication Using Multibase Number Representation -- Database Security and Privacy -- Enforcing...”lấy văn bản
Điện tử
eBook
9
Những chủ đề:
“...Security. https://scigraph.springernature.com/ontologies/product-market-codes/I28000...”
lấy văn bản
lấy văn bản
Điện tử
eBook
10
Được phát hành 2005
Mục lục:
“... Event Trees Using Bayesian Networks with a Case Study of Train Derailment -- Control and Data Flow...”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 2010
Mục lục:
“... of Interdependent Functions in Automotive Vehicles Using EAST-ADL2 -- Experiences in Applying Formal Verification...”lấy văn bản
Điện tử
eBook
14
Được phát hành 2012
Mục lục:
“... and Value Faults -- An Approach Supporting Fault-Propagation Analysis for Smart Sensor Systems -- Use...”lấy văn bản
Điện tử
eBook
15
Được phát hành 2006
Mục lục:
“... Authentication Protocol for 3G Mobile Systems Using CSP and Rank Functions -- Attribute-Based Authentication...”lấy văn bản
Điện tử
eBook
16
Được phát hành 2006
Mục lục:
“... Signatures -- Applied Cryptography and Network Security -- Secure Set Membership Using 3Sat -- Left-to-Right...”lấy văn bản
Điện tử
eBook
17
Được phát hành 2005
Mục lục:
“... -- Specifying Authentication Using Signal Events in CSP -- Modeling RFID Security -- Systems Security...”lấy văn bản
Điện tử
eBook
18
Được phát hành 2008
Mục lục:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”lấy văn bản
Điện tử
eBook
19
Được phát hành 2006
Mục lục:
“...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”lấy văn bản
Điện tử
eBook
20
Được phát hành 2010
Mục lục:
“... -- Unconditionally Secure First-Price Auction Protocols Using a Multicomponent Commitment Scheme -- Session 2C...”lấy văn bản
Điện tử
eBook