1748 search results - page 157 / 350 » Using Aspect Programming to Secure Web Applications |
127
click to vote
FASE
2009
Springer
15 years 7 months ago
2009
Springer
This paper describes the certification of smart-card applications in the framework of Common Criteria. In this framework, a smart-card application is represented by a model of its...
108
click to vote
USENIX
2001
15 years 4 months ago
2001
The protection mechanisms of current mainstream operating systems are inadequate to support confidentiality and integrity requirements for end systems. Mandatory access control (M...
123
click to vote
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
The recent emergence of web mash-ups and open source software is driving the development of new practices in software and systems development. In this paper we explore novel pract...
CSFW
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper presents an embedded security sublanguage for enforcing information-flow policies in the standard Haskell programming language. The sublanguage provides useful informa...
151
click to vote
CONSTRAINTS
2008
15 years 3 months ago
2008
Bioinformatics aims at applying computer science methods to the wealth of data collected in a variety of experiments in life sciences (e.g. cell and molecular biology, biochemistry...