181 search results - page 12 / 37 » Automated Verification of UMLsec Models for Security Require... |
ISI
2006
Springer
15 years 1 months ago
2006
Springer
Security of civil aviation has become a major concern in recent years, leading to a variety of protective measures related to airport and aircraft security to be established by re...
153
click to vote
COLCOM
2008
IEEE
15 years 3 months ago
2008
IEEE
Abstract. Mashups are defined to be lightweight Web applications aggregating data from different Web services, built using ad-hoc composition and being not concerned with long term...
146
click to vote
AMOST
2007
ACM
15 years 5 months ago
2007
ACM
We have devised a novel technique to automatically generate test cases for a software system, combining black-box model-based testing with white-box parameterized unit testing. Th...
143
click to vote
WORDS
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...
SAINT
2006
IEEE
15 years 8 months ago
2006
IEEE
There are many kinds of control networks, which have been used in various non-IP network areas, such as BA (Building Automation), FA (Factory Automation) and PA (Process Automatio...