Søgeresultater - programs containing https functionality security https

Søg alternativer:
functionality security » functionality securing , functional security , functionality usability
programs containing » programs maintaining , programs combining , programs concerning
https functionality » its functionality , bags functionality , cross functionality
containing https » containing herpes , containing crops , containing his

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

Udgivet 2010

Indholdsfortegnelse: “... -- Invited Talk I -- Cryptography for Unconditionally Secure Message Transmission in Networks (Invited Talk...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2006

Indholdsfortegnelse: “... Key Generation for Multi-layer Ad-Hoc Networks -- Enabling Secure Discovery in a Pervasive Environment...”
Få fuldtekst

Electronisk eBog

Managing Risk and Information Security Protect to Enable /

af Harkins, Malcolm., Harkins, Malcolm.
Udgivet 2013

Fag: “...Security. https://scigraph.springernature.com/ontologies/product-market-codes/I28000...”
Få fuldtekst

Electronisk eBog

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II /

Udgivet 2008

Indholdsfortegnelse: “...Invited Lectures -- Composable Formal Security Analysis: Juggling Soundness, Simplicity...”
Få fuldtekst

Electronisk eBog

Data and Applications Security XXII 22nd Annual IFIP WG 11.3 Working Conference on Data and Applications Security London, UK, July 13-16, 2008, Proceedings /

Udgivet 2008

Indholdsfortegnelse: “... for Auditing SQL Queries -- A New Approach to Secure Logging -- Keynote -- Security, Functionality and Scale...”
Få fuldtekst

Electronisk eBog

Applied Cryptography and Network Security 4th International Conference, ACNS 2006, Singapore, June 6-9, 2006, Proceedings /

Udgivet 2006

Indholdsfortegnelse: “... -- Cryptographic Applications -- Do Broken Hash Functions Affect the Security of Time-Stamping Schemes? -- A Handy...”
Få fuldtekst

Electronisk eBog

Automata, Languages, and Programming 42nd International Colloquium, ICALP 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part II /

Udgivet 2015

Indholdsfortegnelse: “... of Intersecting Regular, Context-Free, and Tree Languages -- Containment of Monadic Datalog Programs via Bounded...”
Få fuldtekst

Electronisk eBog

Applied Cryptography and Network Security Third International Conference, ACNS 2005, New York, NY, USA, June 7-10, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “...-Authenticated Key Exchange (C2C-PAKE) Scheme -- Efficient Security Mechanisms for Overlay Multicast-Based...”
Få fuldtekst

Electronisk eBog

Automata, Languages and Programming 35th International Colloquium, ICALP 2008 Reykjavik, Iceland, July 7-11, 2008 Proceedings, Part I /

Udgivet 2008

Indholdsfortegnelse: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Få fuldtekst

Electronisk eBog

Programming Languages and Systems 23rd European Symposium on Programming, ESOP 2014, Held as Part...

Udgivet 2014

Indholdsfortegnelse: “... Verification for Higher-Order Functional Programs -- An Abstract Domain to Infer Ordinal-Valued Ranking...”
Få fuldtekst

Electronisk eBog

Advances in Cryptology – ASIACRYPT 2007 13th International Conference on the Theory and Application of Cryptology and Information Security, Kuching, Malaysia, December 2-6, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... I -- Obtaining Universally Compoable Security: Towards the Bare Bones of Trust -- A Simple Variant...”
Få fuldtekst

Electronisk eBog

Architecting Dependable Systems VII

Udgivet 2010

Indholdsfortegnelse: “... -- Identification of Security Requirements in Systems of Systems by Functional Security Analysis -- Implementing...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2012

Indholdsfortegnelse: “...ASLan++ — A formal security specification language for distributed Systems -- Orchestration under...”
Få fuldtekst

Electronisk eBog

International Symposium on Fundamentals of Software Engineering International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings /

Udgivet 2007

Indholdsfortegnelse: “... -- Is Your Security Protocol on Time ? -- Adapting the UPPAAL Model of a Distributed Lift System -- Zone...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2008

Indholdsfortegnelse: “... Foundation for Security -- Combining Domain-Specific and Foundational Logics to Verify Complete Software...”
Få fuldtekst

Electronisk eBog

Advances in Information Processing and Protection

Udgivet 2007

Indholdsfortegnelse: “... -- Visualization of Five Erosion Risk Classes using Kernel Discriminants -- Computer Security and Safety...”
Få fuldtekst

Electronisk eBog

Theoretical Aspects of Computing - ICTAC 2005 Second International Colloquium, Hanoi, Vietnam, October 17-21, 2005, Proceedings /

Udgivet 2005

Indholdsfortegnelse: “... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...”
Få fuldtekst

Electronisk eBog

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

Udgivet 2015

Indholdsfortegnelse: “... Programs with Unbounded Context Switches -- FuncTion: An Abstract Domain Functor for Termination -- Model...”
Få fuldtekst

Electronisk eBog

Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications 6th International Symposium, ISoLA 2014, Imperial, Corfu, Greece, Oc...

Udgivet 2014

Indholdsfortegnelse: “... -- Programming with Actors in Java 8 -- Contracts in CML -- Distributed Energy Management Case Study: A Formal...”
Få fuldtekst

Electronisk eBog

Automated Reasoning 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings /

Udgivet 2010

Indholdsfortegnelse: “... and Affine Lambda Calculus -- Beluga: A Framework for Programming and Reasoning with Deductive Systems...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning