1401 search results - page 61 / 281 » A Security Policy Model for Clinical Information Systems |
VMCAI
2010
Springer
14 years 6 months ago
2010
Springer
Abstract. A technique for elegantly expressing In-lined Reference Monitor (IRM) certification as model-checking is presented and implemented. In-lined Reference Monitors (IRM'...
AINA
2010
IEEE
14 years 1 months ago
2010
IEEE
Intelligent connected devices become a more vital part of our lives. In contrast to prior years, today embedded systems and devices are loosely coupled and cooperate with each oth...
CODES
2005
IEEE
14 years 2 months ago
2005
IEEE
The growing number of information security breaches in electronic and computing systems calls for new design paradigms that consider security as a primary design objective. This i...
ICEIS
2007
IEEE
14 years 3 months ago
2007
IEEE
CAISE
2009
Springer
14 years 3 months ago
2009
Springer
In CAiSE 2006, we had presented a framework to support development of secure information systems. The framework was based on the integration of two security-aware approaches, the S...