Rezultaty - protocols security program https array https

1

Reconfigurable Computing Accelerating Computation with Field-Programmable Gate Arrays /

od Gokhale, Maya B., Gokhale, Maya B., Graham, Paul S.
Wydane 2005

Spis treści: “... Protocol Security. Summary -- Bioinformatics Applications. Introduction. Applications. Dynamic Programming...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

Stabilization, Safety, and Security of Distributed Systems 8th International Symposium, SSS 2006, Dallas, TX, USA, November 17-19, 2006, Proceedings /

Wydane 2006

Spis treści: “... Case Study on Prototyping Power Management Protocols for Sensor Networks -- Unconscious Eventual...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

Computational Intelligence, Cyber Security and Computational Models Proceedings of ICC3, 2013 /

Wydane 2014

Spis treści: “... -- Interaction Coupling: A Modern Coupling Extractor -- Secure Multicasting Protocols in Wireless Mesh Networks...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

Logic for Programming, Artificial Intelligence, and Reasoning 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008, Proceedings /

Wydane 2008

Spis treści: “... 3. Proof-Theory 1 -- From One Session to Many: Dynamic Tags for Security Protocols -- A Conditional...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

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

Wydane 2015

Spis treści: “... Functions from Relations in Leon -- Program Analysis and Transformation -- Analyzing array manipulating...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Distributed Computing and Networking 9th International Conference, ICDCN 2008, Kolkata, India, January 5-8, 2008, Proceedings /

Wydane 2008

Spis treści: “... in Anonymous Networks -- Self-stabilizing Distributed Protocol Switching -- A Self-stabilizing Algorithm...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 Years of CSP, London, UK, July 7-8, 2004. Revised Invited Papers /

Wydane 2005

Spis treści: “... -- Order, Topology, and Recursion Induction in CSP -- Security -- Verifying Security Protocols...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

Static Analysis 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008, Proceedings /

Wydane 2008

Spis treści: “... the Absence of Errors -- Protocol Inference Using Static Path Profiles -- Solving Multiple Dataflow Queries...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Wydane 2015

Spis treści: “... Suites -- Case Study: Automatic test case generation for a secure cache Implementation -- Verifying Code...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

Automated Reasoning 4th International Joint Conference, IJCAR 2008, Sydney, NSW, Australia, August 12-15, 2008, Proceedings /

Wydane 2008

Spis treści: “...-Definedness Checking -- Session 4: Protocol Verification -- Proving Group Protocols Secure Against...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

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

Wydane 2005

Spis treści: “... Relations -- Languages and Process Calculi for Network Aware Programming – Short Summary - -- Stochastic...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

Parallel Computing Technologies 8th International Conference, PaCT 2005, Krasnoyarsk, Russia, September 5-9, 2005, Proceedings /

Wydane 2005

Spis treści: “...On Evaluating the Performance of Security Protocols -- Timed Equivalences for Timed Event...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

Automated Reasoning with Analytic Tableaux and Related Methods 22nd International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013, Proceedings /

Wydane 2013

Spis treści: “... and Sequent Rules with an Application to S5 -- Schemata of Formulæ in the Theory of Arrays -- TAFA – A Tool...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

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

Wydane 2014

Spis treści: “... for Flat Array Properties -- SATMC: A SAT-Based Model Checker for Security-Critical Systems -- IC3 Modulo...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

Distributed Computing -- IWDC 2004 6th International Workshop, Kolkata, India, December 27-30, 2004, Proceedings /

Wydane 2005

Spis treści: “... Networks -- A Secure PIM-SM Multicast Routing Protocol -- Restoration of Virtual Private Networks with QoS...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Wydane 2010

Spis treści: “... Protocols -- Covering Arrays Generation Methods Survey -- Resource and Timing Analysis -- A Scalable...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

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

Wydane 2007

Spis treści: “... Programs with Arrays -- Property-Driven Partitioning for Abstraction Refinement -- Combining Abstraction...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

Principles of Distributed Systems 10th International Conference, OPODIS 2006, Bordeaux, France, December 12-15, 2006, Proceedings /

Wydane 2006

Spis treści: “... Meets Self-stabilization -- On the Cost of Uniform Protocols Whose Memory Consumption Is Adaptive...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

Algorithms and Architectures for Parallel Processing 10th International Conference, ICA3PP 2010, Busan, Korea, May 21-23, 2010. Proceedings, Part I /

Wydane 2010

Spis treści: “... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Wydane 2005

Spis treści: “... -- Implementation of Replication Methods in the Grid Environment -- A Secure Wrapper for OGSA-DAI -- XDTM: The XML...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty