Search Results - program security https functionality using https

1

by Scarioni, Carlo., Scarioni, Carlo.
Published 2013

Subjects: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
View full text

Electronic eBook

2

Embedded Java Security Security for Mobile Devices /

by Debbabi, Mourad., Debbabi, Mourad., Saleh, Mohamed., Talhi, Chamseddine., Zhioua, Sami.
Published 2007

Table of Contents: “... Information Device Profile -- Java ME-CLDC Security -- Java ME CLDC Security Analysis -- Risk Analysis...”
View full text

Electronic eBook

3

Information and Communications Security 10th International Conference, ICICS 2008 Birmingham, UK, October 20 - 22, 2008. Proceedings /

Published 2008

Table of Contents: “... of Credentials -- Software Security -- BinHunt: Automatically Finding Semantic Differences in Binary Programs...”
View full text

Electronic eBook

4

Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings /

Published 2012

Table of Contents: “... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”
View full text

Electronic eBook

5

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Published 2010

Table of Contents: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
View full text

Electronic eBook

6

Cryptology and Network Security 9th International Conference, CANS 2010, Kuala Lumpur, Malaysia, December 12-14, 2010, Proceedings /

Published 2010

Table of Contents: “... -- Invited Talk I -- Cryptography for Unconditionally Secure Message Transmission in Networks (Invited Talk...”
View full text

Electronic eBook

7

Information Security 10th International Conference, ISC 2007, Valparaiso, Chile, October 9-12, 2007, Proceedings /

Published 2007

Table of Contents: “... Multiplication Using Multibase Number Representation -- Database Security and Privacy -- Enforcing...”
View full text

Electronic eBook

8

Computer Safety, Reliability, and Security 24th International Conference, SAFECOMP 2005, Fredrikstad, Norway, September 28-30, 2005, Proceedings /

Published 2005

Table of Contents: “... Event Trees Using Bayesian Networks with a Case Study of Train Derailment -- Control and Data Flow...”
View full text

Electronic eBook

9

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings /

Published 2007

Table of Contents: “...-Based Safety Cases for Medical Devices: Opportunities and Challenges -- Impact of Security on Safety...”
View full text

Electronic eBook

10

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings /

Published 2008

Table of Contents: “... or Functions? -- Security and Interoperability for MANETs and a Fixed Core -- Technology, Society and Risk...”
View full text

Electronic eBook

11

Efficient Secure Two-Party Protocols Techniques and Constructions /

by Hazay, Carmit., Hazay, Carmit., Lindell, Yehuda.
Published 2010

Subjects: “...Programming Techniques. https://scigraph.springernature.com/ontologies/product-market-codes/I14010...”
View full text

Electronic eBook

12

Computer Safety, Reliability, and Security 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010, Proceedings /

Published 2010

Table of Contents: “... of Interdependent Functions in Automotive Vehicles Using EAST-ADL2 -- Experiences in Applying Formal Verification...”
View full text

Electronic eBook

13

Computer Safety, Reliability, and Security SAFECOMP 2012 Workshops: Sassur, ASCoMS, DESEC4LCCI...

Published 2012

Table of Contents: “... and Value Faults -- An Approach Supporting Fault-Propagation Analysis for Smart Sensor Systems -- Use...”
View full text

Electronic eBook

14

Information Security and Cryptology First SKLOIS Conference, CISC 2005, Beijing, China, December 15-17, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Specifying Authentication Using Signal Events in CSP -- Modeling RFID Security -- Systems Security...”
View full text

Electronic eBook

15

Information and Communications Security 8th International Conference, ICICS 2006, Raleigh, NC, USA, December 4-7, 2006, Proceedings /

Published 2006

Table of Contents: “... Signatures -- Applied Cryptography and Network Security -- Secure Set Membership Using 3Sat -- Left-to-Right...”
View full text

Electronic eBook

16

Security in Pervasive Computing Third International Conference, SPC 2006, York, UK, April 18-21, 2006, Proceedings /

Published 2006

Table of Contents: “... Authentication Protocol for 3G Mobile Systems Using CSP and Rank Functions -- Attribute-Based Authentication...”
View full text

Electronic eBook

17

Platform Embedded Security Technology Revealed Safeguarding the Future of Computing with Intel Embedded Security and Management Engine /

by Ruan, Xiaoyu., Ruan, Xiaoyu.
Published 2014

Subjects: “...Security. https://scigraph.springernature.com/ontologies/product-market-codes/I28000...”
View full text

Electronic eBook

18

Logic Programming 24th International Conference, ICLP 2008 Udine, Italy, December 9-13 2008 Proceedings /

Published 2008

Table of Contents: “... with Function Symbols -- Verification from Declarative Specifications Using Logic Programming -- Prolog Based...”
View full text

Electronic eBook

19

Logic Programming 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings /

Published 2006

Table of Contents: “...Invited Talks -- Why Use Datalog to Analyze Programs? -- Semantic Web: The Story of the RIFt so Far...”
View full text

Electronic eBook

20

Information and Communications Security 12th International Conference, ICICS 2010, Barcelona, Spain, December 15-17, 2010 Proceedings /

Published 2010

Table of Contents: “... -- Unconditionally Secure First-Price Auction Protocols Using a Multicomponent Commitment Scheme -- Session 2C...”
View full text

Electronic eBook

Narrow Search