Sökresultat - parallel functionality securing functionality testing https

Menade du:
parallel functionality » parallel functional , oracle functionality , carbonyl functionality
functionality securing » functionality setting , functionality using , functional security
securing functionality » security functionality , defining functionality , sampling functionality
functionality testing » functionality setting , functional testing , functionality using
testing https » teaching https , being https , writing https

Physical Unclonable Functions in Theory and Practice

av Böhm, Christoph., Böhm, Christoph., Hofer, Maximilian.
Publicerad 2013

Innehållsförteckning: “...Introduction -- Use Cases -- The Basic Applications -- Testing and Specification of PUFs -- Error...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2010

Innehållsförteckning: “...The 2010 International Symposium on Frontiers of Parallel and Distributed Computing (FPDC 2010...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2006

Innehållsförteckning: “... to Iterative Servers (Short Paper) -- An Independent Function-Parallel Firewall Architecture for High-Speed...”
Hämta fulltext

Elektronisk E-bok

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing

Publicerad 2008

Innehållsförteckning: “... Backup Server Using File Fingerprint -- Aspect Oriented Testing Frameworks for Embedded Software...”
Hämta fulltext

Elektronisk E-bok

Biometrics, Computer Security Systems and Artificial Intelligence Applications

Publicerad 2006

Innehållsförteckning: “... Algorithm for Characteristic Points Evaluation in Static Images of Signatures -- Computer Security Systems...”
Hämta fulltext

Elektronisk E-bok

Topics in Cryptology - CT-RSA 2010 The 10th Cryptographers' Track at the RSA Conference 2010, San Francisco, CA, USA, March 1-5, 2010. Proceedings /

Publicerad 2010

Innehållsförteckning: “... Function -- Symmetric Cryptography -- The Sum of CBC MACs Is a Secure PRF -- On Fast Verification of Hash...”
Hämta fulltext

Elektronisk E-bok

Interactive Theorem Proving 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings /

Publicerad 2015

Innehållsförteckning: “... for CompCert -- Validating Dominator Trees for a Fast, Verified Dominance Test -- Refinement to Certify...”
Hämta fulltext

Elektronisk E-bok

Interactive Theorem Proving 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014, Proceedings /

Publicerad 2014

Innehållsförteckning: “... and Certified Linked Implementation Using Orbits -- A Verified Generate-Test-Aggregate Coq Library for Parallel...”
Hämta fulltext

Elektronisk E-bok

Theory and Engineering of Complex Systems and Dependability Proceedings of the Tenth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX, June 29 – July 3...

Publicerad 2015

Innehållsförteckning: “...: Analysis of Configurations Energy Efficiency -- Functional Readiness of the Security Control System...”
Hämta fulltext

Elektronisk E-bok

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... Testing of C API Using T2C Framework -- of Multi-core Systems in Automotive Applications -- Tailoring...”
Hämta fulltext

Elektronisk E-bok

Component-Based Software Engineering 11th International Symposium, CBSE 2008, Karlsruhe, Germany, October 14-17, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... Parametric Behaviour Models -- Extra-Functional Properties: Security and Energy -- Validating Access Control...”
Hämta fulltext

Elektronisk E-bok

Sequences and Their Applications - SETA 2008 5th International Conference Lexington, KY, USA, September 14-18, 2008, Proceedings /

Publicerad 2008

Innehållsförteckning: “... of Statistical Randomness Tests -- New Distinguishers Based on Random Mappings against Stream Ciphers -- A...”
Hämta fulltext

Elektronisk E-bok

Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques 13th International Workshop, APPROX 2010, and 14th International Workshop, RANDOM 2010, Bar...

Publicerad 2010

Innehållsförteckning: “... Pathetic Lower Bounds -- Testing Boolean Function Isomorphism -- Better Size Estimation for Sparse Matrix...”
Hämta fulltext

Elektronisk E-bok

Information Computing and Applications, Part II International Conference, ICICA 2010, Tangshan, China, October 15-18, 2010. Proceedings, Part II /

Publicerad 2010

Innehållsförteckning: “... for Software Quality -- Security Scheme for Managing a Large Quantity of Individual Information in RFID...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2008

Innehållsförteckning: “... Propositional Theories -- Abstract Answer Set Solvers -- Partial Functions and Equality in Answer Set...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2006

Innehållsförteckning: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Hämta fulltext

Elektronisk E-bok

Advanced Techniques in Computing Sciences and Software Engineering

Publicerad 2010

Innehållsförteckning: “...Bridging Calculus and Statistics: Null - Hypotheses Underlain by Functional Equations...”
Hämta fulltext

Elektronisk E-bok

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

Publicerad 2014

Innehållsförteckning: “... Analysis and Security Testing -- Risk-Based Vulnerability Testing Using Security Test Patterns -- Medical...”
Hämta fulltext

Elektronisk E-bok

Automata, Languages, and Programming 41st International Colloquium, ICALP 2014, Copenhagen, Denmark, July 8-11, 2014, Proceedings, Part I /

Publicerad 2014

Innehållsförteckning: “... Matchgates -- Testing Probability Distributions Underlying Aggregated Data -- Parallel Repetition...”
Hämta fulltext

Elektronisk E-bok

High Performance Computing for Computational Science - VECPAR 2008 8th International Conference, Toulouse, France, June 24-27, 2008. Revised Selected Papers /

Publicerad 2008

Innehållsförteckning: “...Parallel and Distributed Computing -- An Overview of High Performance Computing and Challenges...”
Hämta fulltext

Elektronisk E-bok

Begränsa sökningen