Hakutulokset - programming functional https function attacking https

Tarkoititko:
programming functional » programming vocational , programs functional , programming foundations
function attacking » functions attacking , function tracking , function making
functional https » functions https , function https , functional hop
attacking https » teaching https
https function » its function , sites function , ups function

Research in Attacks, Intrusions and Defenses 15th International Symposium, RAID 2012, Amsterdam, The Netherlands, September 12-14, 2012, Proceedings /

Julkaistu 2012

Sisällysluettelo: “... of Drivers -- Attacks and Defenses -- Industrial Espionage and Targeted Attacks: Understanding...”
Hae kokoteksti

Elektroninen E-kirja

Genetic Programming 9th European Conference, EuroGP 2006, Budapest, Hungary, April 10-12, 2006. Proceedings /

Julkaistu 2006

Sisällysluettelo: “...802.11 De-authentication Attack Detection Using Genetic Programming -- 802.11 De-authentication...”
Hae kokoteksti

Elektroninen E-kirja

Certified Programs and Proofs Second International Conference, CPP 2012, Kyoto, Japan, December 13-15, 2012, Proceedings /

Julkaistu 2012

Sisällysluettelo: “... in Computer-Aided Cryptography: Proofs, Attacks and Designs -- Program Certification by Higher-Order Model...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2008

Sisällysluettelo: “... of Programming -- The Tractability Frontier for NFA Minimization -- Finite Automata, Digraph Connectivity...”
Hae kokoteksti

Elektroninen E-kirja

Programming Languages and Systems 24th European Symposium on Programming, ESOP 2015, Held as Part...

Julkaistu 2015

Sisällysluettelo: “... Programs in Dynamic Languages -- Fine-Grained Detection of Privilege Escalation Attacks on Browser...”
Hae kokoteksti

Elektroninen E-kirja

Programming Languages and Systems 14th European Symposium on Programming, ESOP 2005, Held as Part...

Julkaistu 2005

Sisällysluettelo: “...Programming with Explicit Security Policies -- Trace Partitioning in Abstract Interpretation Based...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2012

Sisällysluettelo: “... attacks -- ving the Usability of Specification Languages and Methods for Annotation-based Verification...”
Hae kokoteksti

Elektroninen E-kirja

Algebraic Methodology and Software Technology 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...”
Hae kokoteksti

Elektroninen E-kirja

Information Processing and Management of Uncertainty in Knowledge-Based Systems 13th International Conference, IPMU 2010, Dortmund, Germany, June 28–July 2, 2010. Proceedings, Part...

Julkaistu 2010

Sisällysluettelo: “... on Outranking for Database Preference Queries -- Incremental Membership Function Updates -- A New Approach...”
Hae kokoteksti

Elektroninen E-kirja

AI 2008: Advances in Artificial Intelligence 21st Australasian Joint Conference on Artificial Intelligence, Auckland, New Zealand, December 3-5, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “... Global Path Planning in Time Varying Environments Based on a Cost Evaluation Function -- Grammar...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2008

Sisällysluettelo: “...1. ABZ Invited Talks -- Complex Hardware Modules Can Now be Made Free of Functional Errors without...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2008

Sisällysluettelo: “... Vulnerability to Doubling Attacks -- Side Channel Analysis of Some Hash Based MACs: A Response to SHA-3...”
Hae kokoteksti

Elektroninen E-kirja

Critical Infrastructure Protection IV Fourth Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection, ICCIP 2010, Washington, DC, USA, March 15-17, 2010...

Julkaistu 2010

Sisällysluettelo: “... World -- Control Systems Security -- Modeling Control System Failures and Attacks – The Waterloo...”
Hae kokoteksti

Elektroninen E-kirja

Algorithms – ESA 2005 13th Annual European Symposium, Palma de Mallorca, Spain, October 3-6, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... -- An Optimal Algorithm for Querying Priced Information: Monotone Boolean Functions and Game Trees -- Online...”
Hae kokoteksti

Elektroninen E-kirja

Computer Aided Verification 20th International Conference, CAV 2008 Princeton, NJ, USA, July 7-14, 2008, Proceedings /

Julkaistu 2008

Sisällysluettelo: “...-the-Box Attacks -- Invited Tutorials -- Assertion-Based Verification: Industry Myths to Realities (Invited...”
Hae kokoteksti

Elektroninen E-kirja

Hybrid Artificial Intelligent Systems, Part I 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010. Proceedings /

Julkaistu 2010

Sisällysluettelo: “... of Genetic Programming Evolved Classifier Expressions Using Particle Swarm Optimization -- Developing...”
Hae kokoteksti

Elektroninen E-kirja

Hybrid Artificial Intelligent Systems, Part II 5th International Conference, HAIS 2010, San Sebastian, Spain, June 23-25, 2010, Proceedings /

Julkaistu 2010

Sisällysluettelo: “... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”
Hae kokoteksti

Elektroninen E-kirja

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

Julkaistu 2006

Sisällysluettelo: “...) Probability Function for FMS IP Trace-Back Technique -- A Mechanism for Detection and Prevention...”
Hae kokoteksti

Elektroninen E-kirja

Wireless Algorithms, Systems, and Applications 5th International Conference, WASA 2010, Beijing, China, August 15-17, 2010. Proceedings /

Julkaistu 2010

Sisällysluettelo: “... Using All-Or-Nothing Transform Encryption -- Prevention of Wormhole Attacks in Mobile Ad Hoc Networks...”
Hae kokoteksti

Elektroninen E-kirja

Algorithmic Applications in Management First International Conference, AAIM 2005, Xian, China, June 22-25, 2005, Proceedings /

Julkaistu 2005

Sisällysluettelo: “... with Infinite Strategic Space -- On the Online Dial-A-Ride Problem with Time-Windows -- Semidefinite Programming...”
Hae kokoteksti

Elektroninen E-kirja

1
2
3
4
5
6
7
Seuraava »
[7]

Rajaa hakua