624 search results - page 67 / 125 » Application of Lightweight Formal Methods to Software Securi... |
125
click to vote
COMPSAC
2009
IEEE
14 years 9 months ago
2009
IEEE
Click based graphical passwords that use background images suffer from hot-spot problem. Previous graphical password schemes based on recognition of images do not have a sufficient...
SAS
2000
Springer
15 years 3 months ago
2000
Springer
Design constraints express essential behavioural properties of a software system. Two key elements of a scheme for enforcing design constraints are presented: a logic for describin...
ICSE
2007
IEEE-ACM
15 years 12 months ago
2007
IEEE-ACM
Middleware is a software layer that stands between the networked operating system and the application and provides well known reusable solutions to frequently encountered problems...
JUCS
2008
14 years 11 months ago
2008
: As soon as major protocol flaws were discovered empirically -- a good luck that is not older than the early 1990s -- this title question came up to the world. It was soon realise...
SAS
2009
Springer
16 years 12 days ago
2009
Springer
Abstract. The capability calculus is a framework for statically reasoning about program resources such as deallocatable memory regions. Fractional capabilities, originally proposed...