1770 search results - page 43 / 354 » Writing requirements in computer security |
CCS
2003
ACM
14 years 28 days ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...
SOSP
2009
ACM
14 years 4 months ago
2009
ACM
RESIN is a new language runtime that helps prevent security vulnerabilities, by allowing programmers to specify application-level data flow assertions. RESIN provides policy obje...
MOZ
2004
Springer
14 years 1 months ago
2004
Springer
Common programming practice grants excess authority for the sake of functionality; programming principles require least authority for the sake of security. If we practice our princ...
ICCS
2004
Springer
14 years 1 months ago
2004
Springer
Distributed computing in wide area networks requires special approach to solve the problem of communication between secure areas. Since there is no possibility to establish connect...
DEXAW
2009
IEEE
13 years 8 months ago
2009
IEEE
Although information sharing in supply chain management dramatically reduces costs, parties are reluctant to do so, mainly due to fear of information leakage. Solutions based on se...