Sciweavers

1887 search results - page 204 / 378
» Annotation Framework Validation Using Domain Models
Sort
View
115
Voted
KBSE
2007
IEEE
15 years 9 months ago
Checking threat modeling data flow diagrams for implementation conformance and security
Threat modeling analyzes how an adversary might attack a system by supplying it with malicious data or interacting with it. The analysis uses a Data Flow Diagram (DFD) to describe...
Marwan Abi-Antoun, Daniel Wang, Peter Torr
106
Voted
WEBI
2007
Springer
15 years 9 months ago
An Augmented Tagging Scheme with Triple Tagging and Collective Filtering
Collaborative tagging is increasingly drawing attentions. However the keyword based tagging scheme has its limitations and it can be observed that tagging society are seeking and ...
Jie Yang, Yutaka Matsuo, Mitsuru Ishizuka
SIES
2007
IEEE
15 years 9 months ago
Protocol Modelling Semantics for Embedded Systems
The properties of a domain oriented modelling approach or language are determined by the dominant semantics of the domain. A significant subclass that needs particular attention,...
Ashley T. McNeile, Ella E. Roubtsova
120
Voted
MODELS
2009
Springer
15 years 10 months ago
A Modeling Language for Activity-Oriented Composition of Service-Oriented Software Systems
The proliferation of smart spaces and emergence of new standards, such as Web Services, have paved the way for a new breed of software systems. Often the complete functional and Qo...
Naeem Esfahani, Sam Malek, João Pedro Sousa...
117
Voted
CORR
2008
Springer
118views Education» more  CORR 2008»
15 years 3 months ago
An Activity-Based Model for Separation of Duty
This paper offers several contributions for separation of duty (SoD) administration in role-based access control (RBAC) systems. We first introduce a new formal framework, based o...
Alessandro Colantonio, Roberto Di Pietro, Alberto ...