2270 search results - page 161 / 454 » Modelling Secure IT Systems - A Survey |
143
click to vote
ICDCS
2002
IEEE
15 years 8 months ago
2002
IEEE
We present here the execution model of a policy-driven middleware for building secure distributed collaboration systems from their high level specifications. Our specification m...
131
Voted
CCS
2000
ACM
15 years 8 months ago
2000
ACM
The extensible markup language (XML) is a promising standard for describing semi-structured information and contents on the Internet. When XML comes to be a widespread data encodi...
112
Voted
CSFW
2004
IEEE
15 years 7 months ago
2004
IEEE
We present a new static analysis for reviewing the security of libraries for systems, such as JVMs or the CLR, that rely on stack inspection for access control. We describe its im...
149
Voted
CORR
2010
Springer
15 years 3 months ago
2010
Springer
This paper studies a stochastic game theoretic approach to security and intrusion detection in communication and computer networks. Specifically, an Attacker and a Defender take pa...
128
Voted
ACSAC
2001
IEEE
15 years 7 months ago
2001
IEEE
According to one common view, information security comes down to technical measures. Given better access control policy models, formal proofs of cryptographic protocols, approved ...