2213 search results - page 149 / 443 » Software Security |
183
Voted
FASE
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems' resources. These permissions enf...
145
Voted
SPC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Most attempts at analysing secure information flow in programs are based on domain-specific logics. Though computationally feahese approaches suffer from the need for ...
139
Voted
COMSIS
2007
15 years 3 months ago
2007
This paper presents preview of the new book titled “Security of Computer Systems and Networks” (original in Serbian language “Sigurnost računarskih sistema i mreža”) – ...
115
click to vote
FOSSACS
2010
Springer
15 years 10 months ago
2010
Springer
The paper considers the complexity of verifying that a finite state system satisfies a number of definitions of information flow security. The systems model considered is one i...
150
click to vote
IEEEARES
2009
IEEE
15 years 10 months ago
2009
IEEE
— Trust in software services is a key prerequisite for the success and wide adoption of Services-Oriented Computing (SOC) in an open Internet world. However, trust is poorly asse...