Languages
Degano, Pierpaolo.
Overview
| Works: | 1 works in 7 publications in 1 languages | |
|---|---|---|
Titles
Formal aspects in security and trust = 5th international workshop, FAST 2008, Malaga, Spain, October 9-10, 2008 ; revised selected papers /
by:
SpringerLink (Online service); Degano, Pierpaolo.; Congress on Progress and Controversies in Oncological Urology (2000:); Martinelli, Fabio.; Guttman, Joshua.
(Electronic resources)
Formal aspects of security and trust = 7th international workshop, FAST 2010, Pisa, Italy, September 16-17, 2010 : revised selected papers /
by:
Guttman, Joshua.; Congress on Progress and Controversies in Oncological Urology (2000:); Degano, Pierpaolo.; Etalle, Sandro.; SpringerLink (Online service)
(Electronic resources)
Principles of security and trust = first international conference, POST 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012 : proceedings /
by:
SpringerLink (Online service); Degano, Pierpaolo.; Congress on Progress and Controversies in Oncological Urology (2000:); Guttman, Joshua D.
(Electronic resources)
Formal aspects in security and trust = 6th International Workshop, FAST 2009, Eindhoven, The Netherlands, November 5-6, 2009 revised selected papers /
by:
SpringerLink (Online service); Degano, Pierpaolo.; Congress on Progress and Controversies in Oncological Urology (2000:); Guttman, Joshua D.
(Electronic resources)
Concurrency, Graphs and Models = Essays Dedicated to Ugo Montanari on the Occasion of His 65th Birthday /
by:
Nicola, Rocco.; SpringerLink (Online service); Degano, Pierpaolo.; Meseguer, Jose.
(Electronic resources)
Computational methods in systems biology = 7th international conference, CMSB 2009, Bologna, Italy, August 31 - September 1, 2009 : proceedings /
by:
SpringerLink (Online service); Degano, Pierpaolo.; Congress on Progress and Controversies in Oncological Urology (2000:); Gorrieri, Roberto.
(Electronic resources)
Foundations and applications of security analysis = Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, ARSPA-WITS 2009, York, UK, March 28-29, 2009 : revised selected papers /
by:
Degano, Pierpaolo.; SpringerLink (Online service); Vigano, Luca.; Congress on Progress and Controversies in Oncological Urology (2000:)
(Electronic resources)
Subjects
Formal methods (Computer science)
Systems and Data Security.
Data Encryption.
Computer Communication Networks.
Symbolic and Algebraic Manipulation.
Coding and Information Theory.
Cryptography
Public key infrastructure (Computer security)
Software engineering.
Multitasking (Computer science)
Computational biology
Computer Science.
Computer programming.
Computer Systems Organization and Communication Networks.
Computer Appl. in Life Sciences.
Cell Biology.
Logics and Meanings of Programs.
Mathematical Logic and Formal Languages.
Computer simulation.
Management of Computing and Information Systems.
Computer security
Artificial Intelligence (incl. Robotics)
Rewriting systems (Computer science)
Computers and Society.
Data Structures, Cryptology and Information Theory.
Simulation and Modeling.
Computer networks- Security measures
Information Storage and Retrieval.
Bioinformatics
Data encryption (Computer science)
Computational Biology/Bioinformatics.
Computer software- Verification.
Numeric Computing.
Computation by Abstract Devices.
Software Engineering.
Algorithm Analysis and Problem Complexity.