2270 search results - page 365 / 454 » Modelling Secure IT Systems - A Survey |
157
click to vote
ISITA
2010
15 years 1 months ago
2010
The NRL Network Pump R , or Pump, is a standard for mitigating covert channels that arise in a multi-level secure (MLS) system when a high user (HU) sends acknowledgements to a low...
153
click to vote
CCS
2009
ACM
15 years 10 months ago
2009
ACM
Large-scale distributed systems have dense, complex code-bases that are assumed to perform multiple and inter-dependent tasks while user interaction is present. The way users inte...
142
click to vote
ICFEM
2009
Springer
15 years 10 months ago
2009
Springer
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
157
click to vote
JODS
2007
15 years 3 months ago
2007
Abstract. For several reasons enterprises are frequently subject to organizational change. Respective adaptations may concern business processes, but also other components of an en...
163
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
There is growing interest in multi-robot frequency-based patrolling, in which a team of robots optimizes its frequency of point visits, for every point in a target work area. In p...