1795 search results - page 105 / 359 » Security Models and Information Flow |
126
Voted
CORR
2011
Springer
14 years 10 months ago
2011
Springer
nt programs, programming abstractions for data parallel programs, software model checking for confidentiality, electronic voting security, synthesis of interface specons for Java ...
110
Voted
IEEEIAS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper introduces a mathematical model, called Team Edit Automata, for evaluating software security properties. We use the model to describe security properties and their corr...
126
Voted
FGCN
2008
IEEE
15 years 10 months ago
2008
IEEE
This paper proposes a novel secure query processing model for semantic sensor networks. A semantic sensor network (SSN) is a sensor network which includes semantics of sensory dat...
161
Voted
CASES
2008
ACM
15 years 5 months ago
2008
ACM
We introduce the first approach that can actively control multiple hardware intellectual property (IP) cores used in an integrated circuit (IC). The IP rights owner(s) can remotel...
114
Voted
BIRD
2008
Springer
15 years 5 months ago
2008
Springer
We introduce a new type of workflow design system called e-BioFlow and illustrate it by means of a simple sequence alignment workflow. E-BioFlow, intended to model advanced scienti...