This paper presents an essentially philosophical account of a mathematical approach to systems and services modelling for the purpose for understanding the functionality, performance, reliability, and security - in short, the integrity - of ICT systems. The paper describes the economic background to the need for effective modelling technologies, and explains the principal strengths of a key existing technology, the experience of which it build upon. Building squarely on this industrially validated practical experience, the paper then describes a rather general but directly applicable mathematical framework, and discusses how to model central issues in access control, such as roles and impersonation, data integrity, and most interestingly, stewardship.
Related white papers
Balancing Security Against Productivity
What makes for great security? Is it about keeping the bad guys out or letting the good guys in? About defending attacks or preventing them? When IDG Research Services queried...
Secure Desktop On-Demand Webcast
The desktop or endpoint is one of the most vulnerable parts of your environment. Threats are everywhere. You have users who love to experiment with device settings (only to wonder...
Novell Zenworks Endpoint Security Management: Total Control from a Single Console
Still super gluing your USB ports shut? Unauthorized access to networks, lost or stolen laptops and other mobile hardware, and theft of proprietary information or intellectual property accounted for more...
Staffing Service Improves Productivity and Service With Genuine Software
Jawood Management Associates is a professional staffing agency that places hundreds of contract workers with its clientele each year. The company needed increased reliability from its IT environment and an...
Longhorn Security Enhancements
This webcast provides an overview of security improvements in Longhorn.
Los Alamos National Laboratories Intrusion Prevention Systems: A Real World Case Study
This webcast presents a case study on the Los Alamos National Laboratories Intrusion Prevention Systems.
MSDN Webcast: "Ask the Developer Security Experts" Series: Windows XP Service Pack 2: A Developer Overview - Level 200
This webcast series brings together some of the sharpest security-focused Microsoft developers to provide expert answers to your security questions. Beginning with a brief overview of Windows XP Service Pack...


