3811 search results - page 100 / 763 » The Safe-Tcl Security Model |
152
Voted
SACMAT
2006
ACM
15 years 10 months ago
2006
ACM
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
126
Voted
ACISP
2000
Springer
15 years 9 months ago
2000
Springer
This paper examines the impact of the primary symmetric key cryptographic operation on network data streams, encryption of user data, have on the overall tra c throughput. The encr...
174
click to vote
ICSAP
2010
15 years 1 months ago
2010
Security being the major concern during data transfers, we have various challenges to face. The requirements of the security model vary depending on the type of data to be encrypte...
125
click to vote
IFIP
2007
Springer
15 years 10 months ago
2007
Springer
Capability acquisition graphs (CAGs) provide a powerful framework for modeling insider threats, network attacks and system vulnerabilities. However, CAG-based security modeling sys...
153
Voted
IASTEDSEA
2004
15 years 6 months ago
2004
: Secure distributed systems rely on secure information flow between different hosts, thus placing a heavy requirement on the underlying security protocols. In this paper, we use S...