756 search results - page 85 / 152 » Modeling Computational Security in Long-Lived Systems |
ICTAC
2005
Springer
14 years 3 months ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
MOBISYS
2007
ACM
14 years 9 months ago
2007
ACM
We present rendezvous-based access control for access control in the pre-hospital environment. Rendezvous-based access control is a simple cryptographic access control method that...
COOPIS
2002
IEEE
14 years 3 months ago
2002
IEEE
Rapid advances in networking, hardware, and middleware technologies are facilitating the development and deployment of complex grid applications, such as large-scale distributed co...
IHI
2012
12 years 5 months ago
2012
We present a novel software tool called CDN (Collaborative Data Network) for large-scale sharing and querying of clinical documents modeled using HL7 v3 standard (e.g., Clinical D...
WSNA
2003
ACM
14 years 3 months ago
2003
ACM
Recent research in sensor networks has raised security issues for small embedded devices. Security concerns are motivated by the deployment of a large number of sensory devices in...