Suggested Topics within your search.
Suggested Topics within your search.
Search alternatives:
functionality securing » functionality setting, functionality using, functionality testing
https functionality » its functionality, bags functionality, cross functionality
securing https » security https, security http, securing rtp
using https » using http, nursing https, aging https
functionality securing » functionality setting, functionality using, functionality testing
https functionality » its functionality, bags functionality, cross functionality
securing https » security https, security http, securing rtp
using https » using http, nursing https, aging https
1
por Debbabi, Mourad., Debbabi, Mourad., Saleh, Mohamed., Talhi, Chamseddine., Zhioua, Sami.
Publicado 2007
Table of Contents:
“... Information Device Profile -- Java ME-CLDC Security -- Java ME CLDC Security Analysis -- Risk Analysis...”Publicado 2007
Ligazón do recurso
Electrónico
eBook
2
Subjects:
“...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
3
Publicado 2008
Table of Contents:
“... of Credentials -- Software Security -- BinHunt: Automatically Finding Semantic Differences in Binary Programs...”Ligazón do recurso
Electrónico
eBook
4
Publicado 2010
Table of Contents:
“... -- Invited Talk I -- Cryptography for Unconditionally Secure Message Transmission in Networks (Invited Talk...”Ligazón do recurso
Electrónico
eBook
5
Publicado 2012
Table of Contents:
“... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”Ligazón do recurso
Electrónico
eBook
6
Subjects:
“...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
7
Publicado 2010
Table of Contents:
“... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”Ligazón do recurso
Electrónico
eBook
8
Publicado 2007
Table of Contents:
“... Multiplication Using Multibase Number Representation -- Database Security and Privacy -- Enforcing...”Ligazón do recurso
Electrónico
eBook
9
Subjects:
“...Security. https://scigraph.springernature.com/ontologies/product-market-codes/I28000...”
Ligazón do recurso
Ligazón do recurso
Electrónico
eBook
10
Publicado 2005
Table of Contents:
“... Event Trees Using Bayesian Networks with a Case Study of Train Derailment -- Control and Data Flow...”Ligazón do recurso
Electrónico
eBook
11
Publicado 2007
Table of Contents:
“...-Based Safety Cases for Medical Devices: Opportunities and Challenges -- Impact of Security on Safety...”Ligazón do recurso
Electrónico
eBook
12
Publicado 2008
Table of Contents:
“... or Functions? -- Security and Interoperability for MANETs and a Fixed Core -- Technology, Society and Risk...”Ligazón do recurso
Electrónico
eBook
13
Publicado 2010
Table of Contents:
“... of Interdependent Functions in Automotive Vehicles Using EAST-ADL2 -- Experiences in Applying Formal Verification...”Ligazón do recurso
Electrónico
eBook
14
Publicado 2012
Table of Contents:
“... and Value Faults -- An Approach Supporting Fault-Propagation Analysis for Smart Sensor Systems -- Use...”Ligazón do recurso
Electrónico
eBook
15
Publicado 2006
Table of Contents:
“... Authentication Protocol for 3G Mobile Systems Using CSP and Rank Functions -- Attribute-Based Authentication...”Ligazón do recurso
Electrónico
eBook
16
Publicado 2006
Table of Contents:
“... Signatures -- Applied Cryptography and Network Security -- Secure Set Membership Using 3Sat -- Left-to-Right...”Ligazón do recurso
Electrónico
eBook
17
Publicado 2005
Table of Contents:
“... -- Specifying Authentication Using Signal Events in CSP -- Modeling RFID Security -- Systems Security...”Ligazón do recurso
Electrónico
eBook
18
Publicado 2006
Table of Contents:
“...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”Ligazón do recurso
Electrónico
eBook
19
Publicado 2008
Table of Contents:
“... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”Ligazón do recurso
Electrónico
eBook
20
Publicado 2010
Table of Contents:
“... -- Unconditionally Secure First-Price Auction Protocols Using a Multicomponent Commitment Scheme -- Session 2C...”Ligazón do recurso
Electrónico
eBook