8623 search results - page 223 / 1725 » Software engineering for secure systems |
196
click to vote
ICSM
2003
IEEE
15 years 10 months ago
2003
IEEE
In object oriented programming, the functionalities of a system result from the interactions (message exchanges) among the objects allocated by the system. While designing object ...
140
click to vote
PLDI
2006
ACM
15 years 11 months ago
2006
ACM
Type systems for secure information flow are useful for efficiently checking that programs have secure information flow. They are, however, conservative, so that they often rej...
158
click to vote
SWS
2005
ACM
15 years 11 months ago
2005
ACM
Web Services (WS hereafter) Security is a crucial aspect for technologies based on this paradigm to be completely adopted by the industry. As a consequence, a lot of initiatives h...
129
click to vote
CCS
2005
ACM
15 years 11 months ago
2005
ACM
The Framework of Selective Interleaving Functions and the Modular Assembly Kit for Security Properties both provide a basis for the uniform representation and formal analysis of n...