423 search results - page 2 / 85 » Formal access control analysis in the software development p... |
DBSEC
2008
13 years 7 months ago
2008
With the growing use of wireless networks and mobile devices, we are moving towards an era where spatial and temporal information will be necessary for access control. The use of s...
DATE
2003
IEEE
13 years 10 months ago
2003
IEEE
Novel functionality, configurability and higher efficiency in automotive systems require sophisticated embedded software, as well as distributed software development between man...
AMCS
2008
13 years 5 months ago
2008
ICFEM
2007
Springer
13 years 11 months ago
2007
Springer
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...
HICSS
2006
IEEE
13 years 11 months ago
2006
IEEE
Unstable software requirements are common and call for Agile practices. On the other hand, quality standards and recommendations, to which companies must adhere to play in selecte...