3811 search results - page 77 / 763 » The Safe-Tcl Security Model |
156
click to vote
EPEW
2005
Springer
15 years 11 months ago
2005
Springer
We describe a UML-based method which supports model-driven development of service-oriented architectures including those used in Web services. Analysable content is extracted from ...
158
Voted
ISW
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. Program obfuscation is a semantic-preserving transformation aimed at bringing a program into such a form, which impedes the understanding of its algorithm and data struct...
160
click to vote
IEEEARES
2006
IEEE
16 years 5 days ago
2006
IEEE
Formal modeling and verification of security protocols typically assumes that a protocol is executed in isolation, without other protocols sharing the network. We investigate the...
168
click to vote
SP
2002
IEEE
15 years 5 months ago
2002
IEEE
UNICORE (Uniform Interface to Computer Resources) is a software infrastructure supporting seamless and secure access to distributed resources. UNICORE allows uniform access to dif...
198
Voted
ICSR
2011
Springer
14 years 9 months ago
2011
Springer
With the move to distributed, component based systems involving reuse of components and services, emergent, system-wide properties, including safety and security in particular, are...