83 search results - page 3 / 17 » Model-based assurance of security controls |
HASE
2007
IEEE
15 years 4 months ago
2007
IEEE
During the past several years, the area of robot service and multi-robot has grown rapidly. Since this area is a fusion industry consisting of multiple disciplines, it is lack of ...
96
Voted
GLOBECOM
2007
IEEE
15 years 4 months ago
2007
IEEE
—The growth of the Internet in the last years has been pushed by increasing requirements in terms of capacity, security and reliability. Moreover, improvements in multimedia appl...
108
click to vote
EDCC
2010
Springer
15 years 3 months ago
2010
Springer
—Assurance Based Development (ABD) is a novel approach to the synergistic construction of critical software systems and their assurance arguments. In ABD, the need for assurance ...
IEEEIAS
2007
IEEE
15 years 4 months ago
2007
IEEE
There is a large number of research papers and standards dedicated to security for outsourced data. Yet, most papers propose new controls to access and protect the data rather tha...
WISA
2007
Springer
15 years 4 months ago
2007
Springer
Multilevel security policies aim at only confidentiality assurance, with less consideration on integrity assurance and weakness in expressing channel control policies. Besides, the...