Search Results - program execution https functionality securing https

Search alternatives:
functionality securing » functionality setting , functionality using , functionality testing
https functionality » its functionality , bags functionality , cross functionality
program execution » program evaluation , process execution , project execution
execution https » exertion https , execution status , execution actors
securing https » security https , security http , securing rtp

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

Published 2005

Table of Contents: “... Testing on Function Block Diagrams -- Comparing Software Measures with Fault Counts Derived from Unit...”
View full text

Electronic eBook

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

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

Published 2008

Table of Contents: “... Composition of Melodic and Harmonic Music by Answer Set Programming -- On the Efficient Execution of ProbLog...”
View full text

Electronic eBook

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

Published 2006

Table of Contents: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
View full text

Electronic eBook

Information and Communications Security 14th International Conference, ICICS 2012, Hong Kong, China, October 29-31, 2012, Proceedings /

Published 2012

Table of Contents: “... Program Analysis -- Taint Analysis of Security Code in the KLEE Symbolic Execution Engine -- A Generic...”
View full text

Electronic eBook

Managing Risk and Information Security Protect to Enable /

by Harkins, Malcolm., Harkins, Malcolm.
Published 2013

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

Electronic eBook

Programming Languages and Systems Third Asian Symposium, APLAS 2005, Tsukuba, Japan, November 2-5, 2005, Proceedings /

Published 2005

Table of Contents: “...-Order Functional Programs -- Heterogeneous Fixed Points with Application to Points-To Analysis...”
View full text

Electronic eBook

Logic for Programming, Artificial Intelligence, and Reasoning 13th International Conference, LPAR...

Published 2006

Table of Contents: “... Order Functional Programs -- Combining Typing and Size Constraints for Checking the Termination...”
View full text

Electronic eBook

Logic-Based Program Synthesis and Transformation 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers /

Published 2015

Table of Contents: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
View full text

Electronic eBook

Distributed Computing and Networking 8th International Conference, ICDCN 2006, Guwahati, India, December 27-30, 2006, Proceedings /

Published 2006

Table of Contents: “...Keynote Talk I -- Distributed Security Algorithms by Mobile Agents -- Session I A: Ad Hoc Networks...”
View full text

Electronic eBook

Static Analysis 12th International Symposium, SAS 2005, London, UK, September 7-9, 2005, Proceedings /

Published 2005

Table of Contents: “... Iteration Duplication for Reliable Execution -- Memory Usage Verification for OO Programs -- Abstraction...”
View full text

Electronic eBook

Formal Methods for Components and Objects 9th International Symposium, FMCO 2010, Graz, Austria, November 29 - December 1, 2010 /

Published 2012

Table of Contents: “...ASLan++ — A formal security specification language for distributed Systems -- Orchestration under...”
View full text

Electronic eBook

Fundamentals of Software Engineering Third IPM International Conference, FSEN 2009, Kish Island, Iran, April 15-17, 2009, Revised Selected Papers /

Published 2010

Table of Contents: “... Systems -- Program Logics for Sequential Higher-Order Control -- Modular Schedulability Analysis...”
View full text

Electronic eBook

Verified Software: Theories, Tools, Experiments Second International Conference, VSTTE 2008, Toronto, Canada, October 6-9, 2008, Proceedings /

Published 2008

Table of Contents: “... Foundation for Security -- Combining Domain-Specific and Foundational Logics to Verify Complete Software...”
View full text

Electronic eBook

Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings /

Published 2012

Table of Contents: “... Tactics Using OpenTheory -- Functional Programs: Conversions between Deep and Shallow Embeddings....”
View full text

Electronic eBook

Practical Ruby Gems

by Berube, David., Berube, David.
Published 2007

Table of Contents: “... Web Applications with mongrel -- Transferring Files Securely with net-sftp -- Executing Commands...”
View full text

Electronic eBook

Tools and Algorithms for the Construction and Analysis of Systems 19th International Conference, TACAS 2013, Held as Part of the European Joint Conferences on Theory and Practice o...

Published 2013

Table of Contents: “... Functional Programs -- Tool Demonstrations Polyglot: Systematic Analysis for Multiple Statechart Formalisms...”
View full text

Electronic eBook

Formal Aspects of Component Software 8th International Symposium, FACS 2011, Oslo, Norway, September 14-16, 2011, Revised Selected Papers /

Published 2012

Table of Contents: “... -- Bigraphical Modelling of Architectural Patterns -- Coordinated Execution of Heterogeneous Service-Oriented...”
View full text

Electronic eBook

Advances in Cryptology – EUROCRYPT 2015 34th Annual International Conference on the Theory and Applications of Cryptographic Techniques, Sofia, Bulgaria, April 26-30, 2015, Proceed...

Published 2015

Table of Contents: “... -- Executable Proofs, Input-Size Hiding Secure Computation and a New Ideal World -- Semantically Secure Order...”
View full text

Electronic eBook

Abstract State Machines, B and Z First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings /

Published 2008

Table of Contents: “...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”
View full text

Electronic eBook

Narrow Search