The Java virtual machine (JVM) is usually implemented with an interpreter or just-in-time (JIT) compiler. JIT compilers provide the best performance, but must be substantially rewritten for each architecture they are ported to. Interpreters are easier to develop and maintain, and can be ported to new architectures with almost no changes. The weakness of interpreters is that they are much slower...

Security protocols are critical for protecting modern communication infrastructures and are therefore subject to thorough analysis. However practical implementations of these protocols lack the same level of attention and thus may be more exposed to attacks. This paper discusses security assurance provided by security-typed languages when implementing cryptographic protocols. Our results are ba...

Attribute-based access control (ABAC) is a very powerful and flexible security technique making it possible to overcome limitations of traditional role-based and discretionary access controls. ABAC enables the dynamic handling of vast numbers of heterogeneous and changing resources and users, a task especially relevant for E-Commerce or distributed computing. With an authentication and authoris...

Attribute-based access control (ABAC) is a very powerful and flexible security technique making it possible to overcome limitations of traditional role-based and discretionary access controls. ABAC enables the dynamic handling of vast numbers of heterogeneous and changing resources and users, a task especially relevant for E-Commerce or distributed computing. With an authentication and authoris...

Businesses involved in logistics and supply chain management rely on information technology to deliver services "on time" with highest productivity. One such business began in 1971 as a single-service trucking company known as O-J Transport. It later expanded its capabilities and diversified its mission to become The O-J Group, a multiservice transportation and logistics enterprise. Strategical...

Research has revealed the entanglement of e-government strategy and information infrastructure and that the control of infrastructures often remains an illusion as actual development and implementation is challenged by a constant drift. However, guidelines for public sector CIOs how to deal with these challenges remain scarce: Are governments well advised using architectures and other conceptua...

This paper describes the research conducted into advanced authorization infrastructures at the National e-Science Centre (NeSC) at the University of Glasgow and their application to support a teaching environment as part of the Dynamic Virtual Organisations in e-Science Education (DyVOSE) project. We outline the lessons learnt in teaching Grid computing and rolling out the associated security a...

The research into e-Science infrastructures has changed the face of traditional scientific methods. The maturity of grid technology to get the data distributed around the globe has raised possibilities to perform ground-breaking research within a specific scientific community. However, the governance and management of user support services of e-Science infrastructures yet remain an under-studie...

Recently, the scenario of international collaboration in scientific research has swiftly evolved with the gradual but impressive deployment of high bandwidth networks and Grid infrastructures towards what is currently called e-Science. So far, several scientific domains, such as Life Sciences, High Energy Physics, Computational Chemistry, Earth Science, etc. are benefiting of e-Infrastructures ...