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.
Systems and Data Security.
Data Structures and Information Theory.
Software Engineering/Programming and Operating Systems.
Algorithm Analysis and Problem Complexity.
Data Encryption.
Computers and Society.
Computer Communication Networks.
Coding and Information Theory.
Software engineering.
Computer networks
Data structures (Computer science).
Data encryption (Computer science)
Computer Science.
Programming Languages, Compilers, Interpreters.
Computer security.
Logic programming
Computer software
Management of Computing and Information Systems.
Computer security