Canlyniadau Chwilio - programming method https functionality securing https

Chwilio eraill:
functionality securing » functionality setting , functionality using , functionality testing
https functionality » its functionality , bags functionality , cross functionality
programming method » programming methods , programming methodology
securing https » security https , security http , securing rtp
method https » methods https

Pro Spring Security

gan Scarioni, Carlo., Scarioni, Carlo.
Cyhoeddwyd 2013

Pynciau: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2008

Tabl Cynhwysion: “... of Credentials -- Software Security -- BinHunt: Automatically Finding Semantic Differences in Binary Programs...”
Cael y testun llawn

Electronig eLyfr

Integrated Formal Methods 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings /

Cyhoeddwyd 2007

Tabl Cynhwysion: “... Foundation for Formal Specifications -- Automated Verification of Security Policies in Mobile Code -- Slicing...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2012

Tabl Cynhwysion: “...ASLan++ — A formal security specification language for distributed Systems -- Orchestration under...”
Cael y testun llawn

Electronig eLyfr

Formal Methods and Software Engineering 10th International Conference on Formal Engineering Methods...

Cyhoeddwyd 2008

Tabl Cynhwysion: “...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...”
Cael y testun llawn

Electronig eLyfr

Programming Languages and Systems 8th Asian Symposium, APLAS 2010, Shanghai, China, November 28 - December 1, 2010 Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Cael y testun llawn

Electronig eLyfr

Software Engineering and Formal Methods 13th International Conference, SEFM 2015, York, UK, September 7-11, 2015. Proceedings /

Cyhoeddwyd 2015

Tabl Cynhwysion: “... Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB...”
Cael y testun llawn

Electronig eLyfr

Formal Methods and Software Engineering 15th International Conference on Formal EngineeringMethods...

Cyhoeddwyd 2013

Tabl Cynhwysion: “...Keynote -- Lattices of Information for Security: Deterministic, Demonic, Probabilistic...”
Cael y testun llawn

Electronig eLyfr

Formal Methods and Software Engineering 16th International Conference on Formal Engineering Methods...

Cyhoeddwyd 2014

Tabl Cynhwysion: “... Systems -- A Language-Independent Proof System for Mutual Program Equivalence -- PHASE: A Stochastic...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2005

Tabl Cynhwysion: “... of Designs -- The Application of an Object-Oriented Method in Information System Security Evaluation...”
Cael y testun llawn

Electronig eLyfr

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

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

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

Information Security and Cryptology First SKLOIS Conference, CISC 2005, Beijing, China, December 15-17, 2005, Proceedings /

Cyhoeddwyd 2005

Tabl Cynhwysion: “... Can Prove So Many Things in Zero-Knowledge -- Identity Based Cryptography -- Improvements on Security...”
Cael y testun llawn

Electronig eLyfr

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

Cyhoeddwyd 2006

Tabl Cynhwysion: “... Key Generation for Multi-layer Ad-Hoc Networks -- Enabling Secure Discovery in a Pervasive Environment...”
Cael y testun llawn

Electronig eLyfr

Leveraging Applications of Formal Methods, Verification and Validation Third International...

Cyhoeddwyd 2008

Tabl Cynhwysion: “... -- A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device...”
Cael y testun llawn

Electronig eLyfr

Information and Communications Security 12th International Conference, ICICS 2010, Barcelona, Spain, December 15-17, 2010 Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “...Cryptographic Hash Functions: Theory and Practice -- Cryptographic Hash Functions: Theory...”
Cael y testun llawn

Electronig eLyfr

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

Managing Risk and Information Security Protect to Enable /

gan Harkins, Malcolm., Harkins, Malcolm.
Cyhoeddwyd 2013

Pynciau: “...Security. https://scigraph.springernature.com/ontologies/product-market-codes/I28000...”
Cael y testun llawn

Electronig eLyfr

Applied Cryptography and Network Security 8th International Conference, ACNS 2010, Beijing, China, June 22-25, 2010, Proceedings /

Cyhoeddwyd 2010

Tabl Cynhwysion: “... Performance GHASH Function for Long Messages -- Side-Channel Attacks -- Principles on the Security of AES...”
Cael y testun llawn

Electronig eLyfr

1
2
3
4
5
6
7
8
9
Nesaf »
[9]

Manylu'r Chwiliad