300 search results - page 19 / 60 » Formal Methods for Smartcard Security |
SEKE
2004
Springer
14 years 28 days ago
2004
Springer
Software architecture plays a central role in developing software systems that satisfy functionality and security requirements. However, little has been done to integrate system d...
AOSD
2009
ACM
13 years 11 months ago
2009
ACM
Some security concerns are sensitive to flow of information in a program execution. The dataflow pointcut has been proposed by Masuhara and Kawauchi in order to easily implement s...
ICFEM
2007
Springer
14 years 1 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...
ICSE
1993
IEEE-ACM
13 years 11 months ago
1993
IEEE-ACM
Over the past 15 years there has been increasing recognition that careful attention to the design of a system’s software architecture is critical to satisfying its requirements ...
GI
2004
Springer
14 years 29 days ago
2004
Springer
: The transition from microelectronics to nanoelectronics reaches physical limits and results in a paradigm shift in the design and fabrication of electronic circuits. The conserva...