Sciweavers

11 search results - page 1 / 3
» Model-Driven Security Policy Deployment: Property Oriented A...
Sort
View
ESSOS
2010
Springer
14 years 14 days ago
Model-Driven Security Policy Deployment: Property Oriented Approach
Stere Preda, Nora Cuppens-Boulahia, Fréd&ea...
DAGSTUHL
2006
13 years 5 months ago
Aspect-Oriented Techniques for Web Services: a Model-Driven Approach
In order to tackle the entire web service life cycle, it is necessary to face how to model systems based on service functionality and also how to add extra-functional properties to...
Guadalupe Ortiz, Juan Hernández
ENTCS
2008
79views more  ENTCS 2008»
13 years 3 months ago
j-POST: a Java Toolchain for Property-Oriented Software Testing
Abstract. j-POST is an integrated toolchain for property-oriented software testing. This toolchain includes a test designer, a test generator, and a test execution engine. The test...
Yliès Falcone, Laurent Mounier, Jean-Claude...
ICSR
2011
Springer
12 years 7 months ago
Software Reuse and Safety
With the move to distributed, component based systems involving reuse of components and services, emergent, system-wide properties, including safety and security in particular, are...
William B. Frakes, John M. Favaro
CBSE
2011
Springer
12 years 3 months ago
Automating information flow control in component-based distributed systems
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respe...
Takoua Abdellatif, Lilia Sfaxi, Riadh Robbana, Yas...