890 search results - page 36 / 178 » Programming language methods in computer security |
190
click to vote
POPL
2004
ACM
16 years 25 days ago
2004
ACM
We present in this article a precise security model for data confidentiality in the framework of asynchronous and deterministic objects. Our underlying programming model is based ...
OOPSLA
2001
Springer
15 years 5 months ago
2001
Springer
Checking pre- and post-conditions of procedures and methods at runtime helps improve software reliability. In the procedural world, pre- and post-conditions have a straightforward...
131
click to vote
ISF
2008
15 years 16 days ago
2008
Abstract Many security problems are caused by vulnerabilities hidden in enterprise computer networks. It is very important for system administrators to have knowledge about the sec...
89
Voted
APCHI
1998
IEEE
15 years 4 months ago
1998
IEEE
Cleogo is a novel groupware environment that allows several users to simultaneously develop programs through any mixture of three alternative programming metaphors: a direct manip...
117
click to vote
LICS
2003
IEEE
15 years 5 months ago
2003
IEEE
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and ...