Sciweavers

2056 search results - page 138 / 412
» Software Architectural Design Meets Security Engineering
Sort
View
ICFEM
2007
Springer
15 years 10 months ago
Formal Engineering of XACML Access Control Policies in VDM++
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
Jeremy Bryans, John S. Fitzgerald
AUIC
2002
IEEE
15 years 9 months ago
Evolving the Browser Towards a Standard User Interface Architecture
If current trends continue, it is likely that the web browser will become the only widely used user interface. Web applications will become the predominant software. Should this h...
Michael J. Rees
WSC
2000
15 years 5 months ago
A simulation test-bed to evaluate multi-agent control of manufacturing systems
Current research in the area of manufacturing planning and control has moved away from traditional centralized solutions towards distributed architectures that range from hierarch...
Robert W. Brennan, William O
CASES
2005
ACM
15 years 6 months ago
Micro embedded monitoring for security in application specific instruction-set processors
This paper presents a methodology for monitoring security in Application Specific Instruction-set Processors (ASIPs). This is a generalized methodology for inline monitoring insec...
Roshan G. Ragel, Sri Parameswaran, Sayed Mohammad ...
SIGSOFT
2007
ACM
16 years 4 months ago
Reconciling software configuration management and product data management
Product Data Management (PDM) and Software Configuration Management (SCM) are the disciplines of building and controlling the evolution of a complex artifacts; either physical or ...
Germán Vega, Jacky Estublier