1795 search results - page 158 / 359 » Security Models and Information Flow |
111
click to vote
ZUM
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper reports on an experimental application of formal specification to inform analysis of compiled code. The analyses with are concerned attempt to recover abstract...
121
Voted
HT
1997
ACM
15 years 8 months ago
1997
ACM
This paper provides an architectural framework for modeling third-party application integrations with open hypermedia systems, which collects and extends the integration experienc...
146
click to vote
ICSE
2008
IEEE-ACM
2008
IEEE-ACM
Developing a security protocol for a distributed decision support system in a healthcare environment
16 years 4 months ago
In this paper, we describe the unique security issues involved in healthcare domains. These have been addressed to the needs of the HealthAgents project. In the proposed approach,...
152
click to vote
ENVSOFT
2010
15 years 4 months ago
2010
The SHETRAN physically-based distributed rainfall-runoff modelling system gives detailed simulations in time and space of water flow and sediment and solute transport in river cat...
155
click to vote
SACMAT
2010
ACM
15 years 8 months ago
2010
ACM
Access to distributed databases containing tuples collected about mobile physical objects requires information about the objects’ trajectories. Existing access control models ca...