851 search results - page 135 / 171 » Managing (Requirements) Evolutions of High Assurance Systems |
ELPUB
2008
ACM
14 years 11 months ago
2008
ACM
Open Medicine (http://www.openmedicine.ca) is an electronic open access, peer-reviewed general medical journal that started publication in April 2007. The editors of Open Medicine...
101
click to vote
COMPSAC
2005
IEEE
15 years 3 months ago
2005
IEEE
Distributed processing environments such as that of a traffic management network system (TMS) can be implemented easier, faster, and secure and perform better through use of auton...
101
click to vote
ESORICS
1994
Springer
15 years 1 months ago
1994
Springer
This paper presents a calculus of channel security properties which allows to analyze and compare protocols for establishing secure in an insecure open network at a high level of a...
DBSEC
2008
14 years 11 months ago
2008
Current security mechanisms are not suitable for organisations that outsource their data management to untrusted servers. Encrypting and decrypting sensitive data at the client si...
FGCS
2011
14 years 4 months ago
2011
A Service-Level Agreement (SLA) provides surety for specific quality attributes to the consumers of services. However, current SLAs offered by cloud infrastructure providers do ...