Canlyniadau Chwilio - programs testing https functionality security https

1

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

Cyhoeddwyd 2015

Tabl Cynhwysion: “... Suites -- Case Study: Automatic test case generation for a secure cache Implementation -- Verifying Code...”
Cael y testun llawn

Electronig eLyfr

2

Embedded Java Security Security for Mobile Devices /

gan Debbabi, Mourad., Debbabi, Mourad., Saleh, Mohamed., Talhi, Chamseddine., Zhioua, Sami.
Cyhoeddwyd 2007

Tabl Cynhwysion: “... Information Device Profile -- Java ME-CLDC Security -- Java ME CLDC Security Analysis -- Risk Analysis...”
Cael y testun llawn

Electronig eLyfr

3

Testing Software and Systems 26th IFIP WG 6.1 International Conference, ICTSS 2014, Madrid, Spain, September 23-25, 2014. Proceedings /

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Approaches for Minimizing Adaptive Distinguishing Sequences -- Plan It! Automated Security Testing Based...”
Cael y testun llawn

Electronig eLyfr

4

Hardware and Software: Verification and Testing 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings /

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Systems -- DynaMate: Dynamically Inferring Loop Invariants for Automatic Full Functional Verification...”
Cael y testun llawn

Electronig eLyfr

5

Programming Languages and Systems 10th Asian Symposium, APLAS 2012, Kyoto, Japan, December 11-13, 2012, Proceedings /

Cyhoeddwyd 2012

Tabl Cynhwysion: “... Approximation of Continuous Systems with Trapezoid Step Functions -- Signedness-Agnostic Program Analysis...”
Cael y testun llawn

Electronig eLyfr

6

Testing of Software and Communicating Systems 20th IFIP TC 6/WG 6.1 International Conference...

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Verification of C Programs -- Test Construction for Mathematical Functions -- Model-Based Testing Service...”
Cael y testun llawn

Electronig eLyfr

7

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Testing on Function Block Diagrams -- Comparing Software Measures with Fault Counts Derived from Unit...”
Cael y testun llawn

Electronig eLyfr

8

Computer Safety, Reliability, and Security 26th International Conference, SAFECOMP 2007, Nurmberg, Germany, September 18-21, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “...-Based Safety Cases for Medical Devices: Opportunities and Challenges -- Impact of Security on Safety...”
Cael y testun llawn

Electronig eLyfr

9

Computer Safety, Reliability, and Security 27th International Conference, SAFECOMP 2008 Newcastle upon Tyne, UK, September 22-25, 2008 Proceedings /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... or Functions? -- Security and Interoperability for MANETs and a Fixed Core -- Technology, Society and Risk...”
Cael y testun llawn

Electronig eLyfr

10

Computer Safety, Reliability, and Security 29th International Conference, SAFECOMP 2010, Vienna, Austria, September 14-17, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “...- and ANBDmem-Encoding: Detecting Hardware Errors in Software -- Session 5 -- Field Test Methods for a Co...”
Cael y testun llawn

Electronig eLyfr

11

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “...Security Protocols -- Strong and Robust RFID Authentication Enabling Perfect Ownership Transfer...”
Cael y testun llawn

Electronig eLyfr

12

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... Programming -- Computable Functions in ASP: Theory and Implementation -- Composing Normal Programs...”
Cael y testun llawn

Electronig eLyfr

13

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “... for Incremental Evaluation of Tabled Logic Programs -- Functional and Constraint Logic Programming -- Memory Reuse...”
Cael y testun llawn

Electronig eLyfr

14

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

Cyhoeddwyd 2012

Tabl Cynhwysion: “... Program Analysis -- Taint Analysis of Security Code in the KLEE Symbolic Execution Engine -- A Generic...”
Cael y testun llawn

Electronig eLyfr

15

Information Security and Privacy 11th Australasian Conference, ACISP 2006, Melbourne, Australia, July 3-5, 2006, Proceedings /

Cyhoeddwyd 2006

Tabl Cynhwysion: “... -- Hashing and Message Authentication -- Constructing Secure Hash Functions by Enhancing Merkle-Damgård...”
Cael y testun llawn

Electronig eLyfr

16

Logic Programming 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... -- Nondeterminism Analysis of Functional Logic Programs -- Techniques for Scaling Up Analyses Based on Pre...”
Cael y testun llawn

Electronig eLyfr

17

Financial Cryptography and Data Security 9th International Conference, FC 2005, Roseau...

Cyhoeddwyd 2005

Tabl Cynhwysion: “...-Theoretic Security Analysis of Physical Uncloneable Functions -- Supporting Financial Transactions -- Risk...”
Cael y testun llawn

Electronig eLyfr

18

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 /

Cyhoeddwyd 2008

Tabl Cynhwysion: “... for Auditing SQL Queries -- A New Approach to Secure Logging -- Keynote -- Security, Functionality and Scale...”
Cael y testun llawn

Electronig eLyfr

19

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “...) Expected Time -- Function Evaluation Via Linear Programming in the Priced Information Model -- Improved...”
Cael y testun llawn

Electronig eLyfr

20

Automata, Languages and Programming 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I /

Cyhoeddwyd 2010

Tabl Cynhwysion: “...-Track A2. Security -- Online Network Design with Outliers -- Efficient Completely Non-malleable Public...”
Cael y testun llawn

Electronig eLyfr

Manylu'r Chwiliad