Languages
Palamidessi, Catuscia.
Overview
| Works: | 1 works in 2 publications in 1 languages | |
|---|---|---|
Titles
Theory of security and applications = Joint Workshop, TOSCA 2011, Saarbrucken, Germany, March 31 - April 1, 2011 : revised selected papers /
by:
Palamidessi, Catuscia.; Workshop on the Preservation of Stability under Discretization ((2001 :); Modersheim, Sebastian.; SpringerLink (Online service)
(Language materials, printed)
Logic programming = 19th International Conference, ICLP 2003 Mumbai, India, December 9-13, 2003 Proceedings /
by:
Palamidessi, Catuscia.; Workshop on the Preservation of Stability under Discretization ((2001 :); SpringerLink (Online service)
(Language materials, printed)
Trustworthy global computing = 7th International Symposium, TGC 2012, Newcastle upon Tyne, UK, September 7-8, 2012 : revised selected papers /
by:
SpringerLink (Online service); Ryan, Mark D.; Workshop on the Preservation of Stability under Discretization ((2001 :); Palamidessi, Catuscia.
(Language materials, printed)
The Science of Quantitative Information Flow
by:
Chatzikokolakis, Konstantinos.; Smith, Geoffrey.; SpringerLink (Online service); Palamidessi, Catuscia.; Alvim, Mário S.; Morgan, Carroll.; McIver, Annabelle.
(Language materials, printed)
, [http://id.loc.gov/vocabulary/relators/aut]
Subjects
Software Engineering.
Software Engineering/Programming and Operating Systems.
Data Structures and Information Theory.
Systems and Data Security.
Algorithm Analysis and Problem Complexity.
Data Encryption.
Computer Communication Networks.
Coding and Information Theory.
Software engineering.
Computer networks
Data structures (Computer science).
Computer Science.
Logic programming
Management of Computing and Information Systems.
Computer security
Computers and Society.
Data encryption (Computer science)
Programming Languages, Compilers, Interpreters.
Computer security.
Computer software