376 search results - page 30 / 76 » Teaching context in information security |
APN
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
DATE
2004
IEEE
13 years 11 months ago
2004
IEEE
New consumer appliances such as PDA, Set Top Box, GSM/UMTS terminals enable an easy access to the internet and strongly contribute to the development of ecommerce and m-commerce s...
OTM
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Process–aware information systems (PAIS) must provide sufficient flexibility to their users to support a broad spectrum of application scenarios. As a response to thi...
HICSS
2007
IEEE
14 years 2 months ago
2007
IEEE
This paper describes how the curriculum and course format at the Air Force Institute of Technology (AFIT) has evolved based on our experience with the highly-successful Cyber Defe...
SIGCSE
2005
ACM
14 years 1 months ago
2005
ACM
The goal of our work is to give students a hands-on experience designing, deploying and debugging parts of the Internet infrastructure, such as an Internet router that routes real...