Søgeresultater - program method https functionality security https

1

af Scarioni, Carlo., Scarioni, Carlo.
Udgivet 2013

Fag: “...Software Engineering/Programming and Operating Systems. https://scigraph.springernature.com...”
Få fuldtekst

Electronisk eBog

2

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

Udgivet 2008

Indholdsfortegnelse: “... of Credentials -- Software Security -- BinHunt: Automatically Finding Semantic Differences in Binary Programs...”
Få fuldtekst

Electronisk eBog

3

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

Udgivet 2007

Indholdsfortegnelse: “... Foundation for Formal Specifications -- Automated Verification of Security Policies in Mobile Code -- Slicing...”
Få fuldtekst

Electronisk eBog

4

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

Udgivet 2010

Indholdsfortegnelse: “... and Implementations for Coroutines -- Liberal Typing for Functional Logic Programs -- Session 2 -- A Provably Correct...”
Få fuldtekst

Electronisk eBog

5

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

Udgivet 2012

Indholdsfortegnelse: “...ASLan++ — A formal security specification language for distributed Systems -- Orchestration under...”
Få fuldtekst

Electronisk eBog

6

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

Udgivet 2005

Indholdsfortegnelse: “... of Designs -- The Application of an Object-Oriented Method in Information System Security Evaluation...”
Få fuldtekst

Electronisk eBog

7

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

Udgivet 2008

Indholdsfortegnelse: “... or Functions? -- Security and Interoperability for MANETs and a Fixed Core -- Technology, Society and Risk...”
Få fuldtekst

Electronisk eBog

8

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

Udgivet 2015

Indholdsfortegnelse: “... Verification of Functional Behaviour of Concurrent Programs -- Investigating Instrumentation Techniques for ESB...”
Få fuldtekst

Electronisk eBog

9

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

Udgivet 2007

Indholdsfortegnelse: “...-Based Safety Cases for Medical Devices: Opportunities and Challenges -- Impact of Security on Safety...”
Få fuldtekst

Electronisk eBog

10

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

Udgivet 2008

Indholdsfortegnelse: “...Invited Talks -- How Can We Make Industry Adopt Formal Methods? -- Programmers Ain’t Mathematicians...”
Få fuldtekst

Electronisk eBog

11

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

Udgivet 2010

Indholdsfortegnelse: “...- and ANBDmem-Encoding: Detecting Hardware Errors in Software -- Session 5 -- Field Test Methods for a Co...”
Få fuldtekst

Electronisk eBog

12

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

Udgivet 2013

Indholdsfortegnelse: “...Keynote -- Lattices of Information for Security: Deterministic, Demonic, Probabilistic...”
Få fuldtekst

Electronisk eBog

13

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

Udgivet 2014

Indholdsfortegnelse: “... Systems -- A Language-Independent Proof System for Mutual Program Equivalence -- PHASE: A Stochastic...”
Få fuldtekst

Electronisk eBog

14

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

Udgivet 2005

Indholdsfortegnelse: “... Can Prove So Many Things in Zero-Knowledge -- Identity Based Cryptography -- Improvements on Security...”
Få fuldtekst

Electronisk eBog

15

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

Udgivet 2006

Indholdsfortegnelse: “... Key Generation for Multi-layer Ad-Hoc Networks -- Enabling Secure Discovery in a Pervasive Environment...”
Få fuldtekst

Electronisk eBog

16

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

Udgivet 2010

Indholdsfortegnelse: “...Cryptographic Hash Functions: Theory and Practice -- Cryptographic Hash Functions: Theory...”
Få fuldtekst

Electronisk eBog

17

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

Udgivet 2005

Indholdsfortegnelse: “...-Theoretic Security Analysis of Physical Uncloneable Functions -- Supporting Financial Transactions -- Risk...”
Få fuldtekst

Electronisk eBog

18

Managing Risk and Information Security Protect to Enable /

af Harkins, Malcolm., Harkins, Malcolm.
Udgivet 2013

Fag: “...Security. https://scigraph.springernature.com/ontologies/product-market-codes/I28000...”
Få fuldtekst

Electronisk eBog

19

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

Udgivet 2008

Indholdsfortegnelse: “... -- A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device...”
Få fuldtekst

Electronisk eBog

20

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

Udgivet 2010

Indholdsfortegnelse: “... Performance GHASH Function for Long Messages -- Side-Channel Attacks -- Principles on the Security of AES...”
Få fuldtekst

Electronisk eBog

Indsnæver søgning