2257 search results - page 168 / 452 » Secure program partitioning |
131
click to vote
ICTCS
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. Non-interference is a desirable property of systems in a multilevel security architecture, stating that confidential information is not disclosed in public output. The c...
118
click to vote
AGENTS
2000
Springer
15 years 6 months ago
2000
Springer
This paper presents an agent program that monitors and interacts with the dynamic situation of flights around an airport tower as well as interacts with a human operator that can ...
106
Voted
OOPSLA
1998
Springer
15 years 6 months ago
1998
Springer
This paper explores the interpretation of specifications in the context of an object-oriented programming language with subclassing and method overrides. In particular, the paper ...
95
Voted
SIGSOFT
2010
ACM
15 years 9 days ago
2010
ACM
Declarative policies play a central role in many modern software systems. Engineering policies and their interactions with programs raises many interesting open questions. Categor...
144
click to vote
PAISI
2010
Springer
15 years 9 days ago
2010
Springer
Abstract. This paper introduces an efficient privacy-preserving protocol for distributed K-means clustering over an arbitrary partitioned data, shared among N parties. Clustering i...