Rezultaty - program method secure implementation https https

1

od Scarioni, Carlo., Scarioni, Carlo.
Wydane 2013

Hasła przedmiotowe: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Dokumenty pełnotekstowe

Elektroniczne E-book

2

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

Wydane 2010

Spis treści: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Dokumenty pełnotekstowe

Elektroniczne E-book

3

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

Wydane 2012

Spis treści: “...ASLan++ — A formal security specification language for distributed Systems -- Orchestration under...”
Dokumenty pełnotekstowe

Elektroniczne E-book

4

FM 2008: Formal Methods 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings /

Wydane 2008

Spis treści: “... System Using VDM -- Session 6. FM Practice -- Industrial Use of Formal Methods for a High-Level Security...”
Dokumenty pełnotekstowe

Elektroniczne E-book

5

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

Wydane 2005

Spis treści: “...Invited Talks -- Realising the Benefits of Formal Methods -- A Compositional Framework for Service...”
Dokumenty pełnotekstowe

Elektroniczne E-book

6

Formal Methods and Software Engineering 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006, Proceedings /

Wydane 2006

Spis treści: “... and Verification -- A Method for Formalizing, Analyzing, and Verifying Secure User Interfaces -- Applying Timed...”
Dokumenty pełnotekstowe

Elektroniczne E-book

7

Advances in Information and Computer Security 5th International Worshop on Security, IWSEC 2010, Kobe, Japan, November 22-24, 2010, Proceedings /

Wydane 2010

Spis treści: “... Generic Binary Analysis Method for Malware -- A-HIP: A Solution Offering Secure and Anonymous...”
Dokumenty pełnotekstowe

Elektroniczne E-book

8

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

Wydane 2008

Spis treści: “... or Functions? -- Security and Interoperability for MANETs and a Fixed Core -- Technology, Society and Risk...”
Dokumenty pełnotekstowe

Elektroniczne E-book

9

Software Engineering and Formal Methods 11th International Conference, SEFM 2013, Madrid, Spain, September 25-27, 2013, Proceedings /

Wydane 2013

Spis treści: “... Requirements -- Real-Time Migration Properties of rTiMoVerified in Uppaal -- Verified Protocol to Implement...”
Dokumenty pełnotekstowe

Elektroniczne E-book

10

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

Wydane 2015

Spis treści: “... Programs -- Verifying Protocol Implementations by Augmenting Existing Cryptographic Libraries...”
Dokumenty pełnotekstowe

Elektroniczne E-book

11

Formal Methods for Components and Objects 5th International Symposium, FMCO 2006, Amsterdam, Netherlands, November 7-10,2006, Revised Lectures /

Wydane 2007

Spis treści: “... -- Program Verification -- Verifying Object-Oriented Programs with KeY: A Tutorial -- Rebeca: Theory...”
Dokumenty pełnotekstowe

Elektroniczne E-book

12

Formal Methods for Components and Objects Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures /

Wydane 2005

Spis treści: “... Coordination Languages -- Games with Secure Equilibria, -- Priced Timed Automata: Algorithms and Applications...”
Dokumenty pełnotekstowe

Elektroniczne E-book

13

Formal Methods for Components and Objects 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures /

Wydane 2008

Spis treści: “... and Encapsulation -- COSTA: Design and Implementation of a Cost and Termination Analyzer for Java Bytecode...”
Dokumenty pełnotekstowe

Elektroniczne E-book

14

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

Wydane 2010

Spis treści: “...- and ANBDmem-Encoding: Detecting Hardware Errors in Software -- Session 5 -- Field Test Methods for a Co...”
Dokumenty pełnotekstowe

Elektroniczne E-book

15

Formal Methods for Components and Objects 10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers /

Wydane 2013

Spis treści: “...- and Learning-Based Framework for Security Anomaly Detection -- Enhancing Model Driven Security through Pattern...”
Dokumenty pełnotekstowe

Elektroniczne E-book

16

FM 2005: Formal Methods International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings /

Wydane 2005

Spis treści: “...Keynote Talks -- Formal Aids for the Growth of Software Systems -- Formal Methods and Testing...”
Dokumenty pełnotekstowe

Elektroniczne E-book

17

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

Wydane 2005

Spis treści: “... -- Key Management for Secure Overlay Multicast -- Design and Implementation of IEEE 802.11i Architecture...”
Dokumenty pełnotekstowe

Elektroniczne E-book

18

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

Wydane 2006

Spis treści: “... to Monoprocess Servers -- Delegating Secure Logging in Pervasive Computing Systems -- Implementing Minimized...”
Dokumenty pełnotekstowe

Elektroniczne E-book

19

Information Processing and Security Systems

Wydane 2005

Spis treści: “... Different Pattern Recognition Methods -- Genetic algorithms applied to optimal arrangement of collocation...”
Dokumenty pełnotekstowe

Elektroniczne E-book

20

Information Security Applications 8th International Workshop, WISA 2007, Jeju Island, Korea, August 27-29, 2007, Revised Selected Papers /

Wydane 2007

Spis treści: “... Method for Secure SBox Implementation -- On the Security of a Popular Web Submission and Review Software...”
Dokumenty pełnotekstowe

Elektroniczne E-book

Redukuj rezultaty