michaelbanks's noninterference [50 articles] Export

Recent papers added to michaelbanks's library classified by the tag noninterference. You can also see everyone's noninterference.

Hide details

	Interaction and Security in Distributed Computing [My Copy] (1997) by Lars Wulf posted to system security noninterference independence distributed confidentiality case-study 1997 by michaelbanks on 2009-12-09 11:57:30 as
	Verification of a Formal Security Model for Multiapplicative Smart Cards [My Copy] Computer Security - ESORICS 2000 (2000), pp. 17-36. by Gerhard Schellhorn, Wolfgang Reif, Axel Schairer, Paul Karger, Vernon Austel, David Toll posted to verification smart-card noninterference model formal biba bell-lapadula authentication access-control 2000 by michaelbanks on 2009-11-19 09:50:12 as along with 1 person powerwolf
	A Probabilistic Property-Specific Approach to Information Flow [My Copy] Computer Network Security In Computer Network Security, Vol. 3685 (2005), pp. 206-220. by Danièle Beauquier, Marie Duflot, Marius Minea posted to specification separability property probabilistic noninterference noninference information-flow 2005 by michaelbanks on 2009-11-13 15:36:47 as
	The Formal Development of Secure Systems [My Copy] (1992) by John Graham-Cumming posted to security noninterference formal-methods csp 1992 by michaelbanks on 2009-08-11 16:46:57 as
	Some laws of non-interference (CSP algebra) [My Copy] Computer Security Foundations Workshop V, 1992. Proceedings. In 5th IEEE Computer Security Foundations Workshop (CSFW '92) (1992), pp. 22-33. by John Graham-Cumming posted to security proof noninterference multi-level definition csp case-study 1992 by michaelbanks on 2009-08-11 16:32:01 as
	Secrecy in Multiagent Systems [My Copy] ACM Transactions on Information and System Security, Vol. 12, No. 1. (2008), pp. 1-47. by Joseph Y. Halpern, Kevin R. O'Neill posted to 2008 framework information-flow nondeducibility noninterference possibilistic probabilistic security semantics by michaelbanks on 2009-07-13 10:47:13 as
	Architectural Refinement and Notions of Intransitive Noninterference [My Copy] Engineering Secure Software and Systems In Engineering Secure Software and Systems, Vol. 5429 (2009), pp. 60-74. by Ron van der Meyden posted to 2009 architecture information-flow noninterference refinement security transitive by michaelbanks on 2009-07-10 13:32:38 as
	Extracting Conditional Confidentiality Policies [My Copy] 6th IEEE International Conference on Software Engineering and Formal Methods (SEFM '08) In 6th IEEE International Conference on Software Engineering and Formal Methods (SEFM '08) (November 2008), pp. 107-116. by Michael C. Tschantz, Jeannette M. Wing posted to 2008 confidentiality extraction incident-insensitive noninterference policy security static-analysis by michaelbanks on 2009-07-09 11:08:35 as
	A state-based approach to noninterference [My Copy] 7th IEEE Computer Security Foundations Workshop (CSFW '94) In 7th IEEE Computer Security Foundations Workshop (CSFW '94) (1994), pp. 11-21. by William R. Bevier, William D. Young posted to 1994 deterministic information-flow nondeterministic noninterference security state-machine by michaelbanks on 2009-07-07 16:08:24 as
	Dimensions and Principles of Declassification [My Copy] In 18th IEEE Computer Security Foundations Workshop (CSFW'05) (2005), pp. 255-269. by Andrei Sabelfeld, David Sands posted to 2005 declassification information-flow noninterference security by michaelbanks on 2009-06-25 19:05:41 as along with 2 people scavadini tesissvc
	A type-based approach to program security [My Copy] TAPSOFT '97: Theory and Practice of Software Development In TAPSOFT '97: Theory and Practice of Software Development, Vol. 1214 (1997), pp. 607-621. by Dennis Volpano, Geoffrey Smith edited by Michel Bidoit, Max Dauchet posted to type-system security noninterference language information-flow analysis 1997 by michaelbanks on 2009-06-09 18:06:15 as
	Categorising non-interference [My Copy] Computer Security Foundations Workshop III, 1990. Proceedings In 3rd IEEE Computer Security Foundations Workshop (1990), pp. 44-50. by Jeremy L. Jacob posted to unwinding theory security property noninterference information-flow category-theory 1990 by michaelbanks on 2009-06-09 10:45:57 as
	A taxonomy of trace-based security properties for CCS [My Copy] Computer Security Foundations Workshop VII, 1994. CSFW 7. Proceedings In 7th IEEE Computer Security Foundations Workshop (1994), pp. 126-136. by Riccardo Focardi, Roberto Gorrieri posted to 1994 ccs noninterference property security trace by michaelbanks on 2009-06-09 10:26:15 as
	A Comparison of Formal Security Models [My Copy] In Proceedings of the 7th National Computer Security Conference (September 1984), pp. 88-119. by Thomas J. Haigh posted to 1984 model noninterference security bell-lapadula by michaelbanks on 2009-06-04 15:03:15 as
	Defining Noninterference in the Temporal Logic of Actions [My Copy] IEEE Symposium on Security and Privacy In IEEE Symposium on Security and Privacy (1996), pp. 12-21. by Todd Fine posted to 1996 composition noninterference refinement specification tla by michaelbanks on 2009-05-08 15:48:47 as
	A logical approach to multilevel security of probabilistic systems [My Copy] IEEE Computer Society Symposium on Research in Security and Privacy In IEEE Computer Society Symposium on Research in Security and Privacy (1992), pp. 164-176. by James W. Gray, Paul F. Syverson posted to 1992 information-flow model noninterference possible-worlds probabilistic semantics by michaelbanks on 2009-05-08 14:51:56 as
	Under-specification, composition and emergent properties [My Copy] In NSPW '97: Proceedings of the 1997 workshop on New security paradigms (1997), pp. 83-93. by H. M. Hinton posted to 1998 access-control composition emergence noninterference property specification by michaelbanks on 2009-04-21 14:37:03 as
	Proving Noninterference and Functional Correctness Using Traces [My Copy] Journal of Computer Security, Vol. 1, No. 1. (1992), pp. 37-58. by John Mclean posted to 1992 framework noninterference proof security trace by michaelbanks on 2008-11-25 09:59:22 as
	A Sound Type System for Secure Flow Analysis [My Copy] Journal of Computer Security, Vol. 4, No. 2-3. (1996), pp. 167-187. by Dennis Volpano, Cynthia Irvine, Geoffrey Smith posted to type-system security noninterference language information-flow analysis 1996 by michaelbanks on 2008-11-19 12:58:55 as along with 1 person ddemange
	Possibilistic Definitions of Security --- an Assembly Kit [My Copy] 13th IEEE Computer Security Foundations Workshop (CSFW '00) In 13th IEEE Computer Security Foundations Workshop (CSFW '00) (2000), pp. 185-199. by Heiko Mantel posted to separability security possibilistic noninterference maks information-flow framework 2000 by michaelbanks on 2008-11-19 10:14:41 as
	Security Models [My Copy] In Encyclopedia of Software Engineering, Vol. 2 (1994), pp. 1136-1145. by John Mclean edited by John Marciniak posted to 1994 hru model noninterference possibilistic probabilistic security survey bell-lapadula by michaelbanks on 2008-11-17 10:36:46 as
	Security Policies [My Copy] Advances in Computers, Vol. 55 (2001), pp. 186-237. by Ross Anderson, Frank Stajano, Jong-Hyeon Lee edited by Marvin Zelkowitz posted to 2001 access-control biba chinese-wall clark-wilson multi-level noninterference policy security survey bell-lapadula by michaelbanks on 2008-11-08 14:07:20 as
	Quantitative Information Flow for Security: a survey [My Copy] No. TR-08-06. (September 2008) by Chunyan Mu posted to survey static-analysis security quantitative noninterference nondeducibility information-flow declassification 2008 by michaelbanks on 2008-11-06 13:27:00 as
	Challenges for Information-flow Security [My Copy] In Proceedings of the 1st International Workshop on Programming Language Interference and Dependence (PLID'04) (2004) by Steve Zdancewic posted to security noninterference information-flow 2004 by michaelbanks on 2008-11-05 13:31:48 as
	Confidentiality Policies and Their Extraction from Programs [My Copy] No. CMU-CS-07-108. (2007) by Michael C. Tschantz, Jeannette M. Wing posted to 2007 confidentiality extraction incident-insensitive noninterference by michaelbanks on 2008-11-04 16:03:59 as
	Expressing Security Properties Using Selective Interleaving Functions [My Copy] (3 Aug 2006) by Joseph Y. Halpern, Sabina Petride posted to 2006 generalised nondeducibility noninterference selective-interleaving separability by michaelbanks on 2008-11-02 16:53:08 as
	Unwinding Possibilistic Security Properties [My Copy] Computer Security - ESORICS 2000 In Computer Security -- ESORICS 2000, Vol. 1895 (2000), pp. 238-254. by Heiko Mantel posted to 2000 nondeterministic noninterference possibilistic property refinement security theorem unwinding generalised by michaelbanks on 2008-11-01 18:46:39 as
	A General Theory of Security Properties [My Copy] Proceedings of the 1997 IEEE Symposium on Security and Privacy In Proceedings of the 1997 IEEE Symposium on Research in Security and Privacy (1997), pp. 94-102. by Aris Zakinthinos, E. S. Lee posted to 1997 classes framework general indistinguishability-classes noninference noninterference ordering perfect possibilistic property security separability theory by michaelbanks on 2008-10-30 13:59:50 as
	Specifications for Multi-Level Security and a Hook-Up Property [My Copy] Security and Privacy, IEEE Symposium on In Proceedings of the 1987 IEEE Symposium on Security and Privacy, Vol. 0 (1987), pp. 161-166. by Daryl McCullough posted to 1987 generalised multi-level noninterference restrictiveness by michaelbanks on 2008-10-30 11:29:11 as
	Comparison Paper between the Bell and LaPadula Model and the SRI Model [My Copy] In Proceedings of the 1984 IEEE Symposium on Security and Privacy (1984), pp. 195-202. by Tad Taylor posted to 1984 comparison model noninterference security bell-lapadula by michaelbanks on 2008-10-29 17:50:25 as
	May Testing, Non-interference, and Compositionality [My Copy] In MFCSIT 2000, The First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, Vol. 40 (2001), pp. 361-391. by Steve Schneider posted to 2001 composition csp may noninference noninterference testing by michaelbanks on 2008-10-29 17:50:24 as
	Non-interference: who needs it? [My Copy] In 14th IEEE Computer Security Foundations Workshop (CSFW '01) (2001), pp. 237-238. by Peter Ryan, John Mclean, Jon Millen, Vergil Gligor posted to 2001 noninterference by michaelbanks on 2008-10-29 17:50:23 as
	Mathematical Models of Computer Security [My Copy] In Foundations of Security Analysis and Design, Vol. 2171 (2001), pp. 1-62. by Peter Ryan posted to 2001 bisimulation csp model noninterference security unwinding process-algebra by michaelbanks on 2008-10-29 17:50:23 as
	Process Algebra and Non-interference [My Copy] In 12th IEEE Computer Security Foundations Workshop (CSFW '99) (1999), pp. 214-227. by Peter Ryan, Steve A. Schneider posted to unwinding system security process-algebra privacy noninterference information-flow equivalence confidentiality composition 1999 by michaelbanks on 2008-10-29 17:50:23 as
	Noninterference, Transitivity, and Channel-Control Security Policies [My Copy] No. CSL-92-02. (December 1992) by John Rushby posted to 1992 noninterference policy security unwinding transitive multi-level by michaelbanks on 2008-10-29 17:50:23 as
	What is Intransitive Noninterference? [My Copy] In 12th IEEE Computer Security Foundations Workshop (CSFW '99) (1999), pp. 228-238. by A. W. Roscoe, M. H. Goldsmith posted to transitive noninterference information-flow 1999 by michaelbanks on 2008-10-29 17:50:23 as
	Non-Interference Through Determinism [My Copy] In ESORICS '94: Proceedings of the Third European Symposium on Research in Computer Security, Vol. 875 (1994), pp. 33-53. by A. W. Roscoe, J. C. P. Woodcock, L. Wulf posted to 1994 automatic deterministic noninterference preserving refinement security z by michaelbanks on 2008-10-29 17:50:23 as
	What, Indeed, Is Intransitive Noninterference? [My Copy] In Computer Security -- ESORICS 2007, Vol. 4734 (2008), pp. 235-250. by Ron van der Meyden posted to 2008 access-control noninterference policy security transitive unwinding by michaelbanks on 2008-10-29 17:50:22 as
	Algorithmic Verification of Noninterference Properties [My Copy] In Proceedings of the Second International Workshop on Views on Designing Complex Architectures (VODCA 2006), Vol. 168 (February 2007), pp. 61-75. by Ron van der Meyden, Chenyi Zhang posted to model-checking 2007 heuristic model noninterference property security verification by michaelbanks on 2008-10-29 17:50:22 as
	A General Theory of Composition for Trace Sets Closed Under Selective Interleaving Functions [My Copy] In Proceedings of the 1994 IEEE Symposium on Security and Privacy (1994), pp. 79-93. by John Mclean posted to 1994 composition generalised noninference noninterference possibilistic property refinement security selective-interleaving separability theory trace by michaelbanks on 2008-10-29 17:50:22 as
	Security Models and Information Flow [My Copy] In Proceedings of the 1990 IEEE Symposium on Security and Privacy (1990), pp. 180-187. by John Mclean posted to security probabilistic noninterference model information-flow fm bell-lapadula 1990 by michaelbanks on 2008-10-29 17:50:22 as
	Noninterference and the Composability of Security Properties [My Copy] In Proceedings of the 1988 IEEE Symposium on Security and Privacy (1988), pp. 177-186. by Daryl McCullough posted to 1988 composition generalised multi-level noninterference property restrictiveness security by michaelbanks on 2008-10-29 17:50:22 as
	What is “Data Security”? [My Copy] (30 January 1990) by Jeremy L. Jacob posted to 1990 introduction nondeducibility noninterference property security z by michaelbanks on 2008-10-29 17:50:20 as
	Extending the Noninterference Version of MLS for SAT [My Copy] IEEE Transactions on Software Engineering, Vol. 13, No. 2. (February 1987), pp. 141-150. by Thomas J. Haigh, William D. Young posted to 1987 ada multi-level noninterference unwinding by michaelbanks on 2008-10-29 17:50:19 as
	On the Refinement of Non-interference [My Copy] In 4th IEEE Computer Security Foundations Workshop (CSFW '91) (1991), pp. 35-42. by John Graham-Cumming, J. W. Sanders posted to 1991 noninterference property refinement security trace z by michaelbanks on 2008-10-29 17:50:19 as
	Unwinding and Inference Control [My Copy] In Proceedings of the 1984 IEEE Symposium on Security and Privacy (1984), pp. 75-86. by Joseph A. Goguen, José Meseguer posted to 1984 inference-control noninterference security unwinding by michaelbanks on 2008-10-29 17:50:19 as
	Security Policies and Security Models [My Copy] In Proceedings of the 1982 IEEE Symposium on Security and Privacy (April 1982), pp. 11-20. by Joseph A. Goguen, José Meseguer posted to security noninterference information-flow 1982 by michaelbanks on 2008-10-29 17:50:19 as
	Aggregation and Separation as Noninterference Properties [My Copy] Journal of Computer Security, Vol. 1, No. 2. (1992), pp. 159-188. by Simon N. Foley posted to unwinding transitive separation-of-duty semantics property policy noninterference formal aggregation 1992 by michaelbanks on 2008-10-29 17:50:19 as
	Classification of Security Properties (Part I: Information Flow) [My Copy] In Foundations of Security Analysis and Design, Vol. 2171 (2001), pp. 331-396. by Riccardo Focardi, Roberto Gorrieri posted to unifying survey spa security property noninterference information-flow framework access-control 2001 by michaelbanks on 2008-10-29 17:50:19 as
	Compositional Action System Refinement [My Copy] Formal Aspects of Computing, Vol. 15, No. 2-3. (2003), pp. 103-117. by Ralph-Johan Back, Joakim von Wright posted to 2003 action composition noninterference refinement system by michaelbanks on 2008-10-29 17:50:15 as

Note: You may cite this page as: http://www.citeulike.org/user/michaelbanks/tag/noninterference

security	353
protocol	146
book	99
refinement	95
information-flow	91
specification	89
formal-methods	86
verification	79
2008	75
model	65
2006	64
2009	60
proof	59
property	58
attack	58
csp	51
analysis	51
noninterference	50
2007	49
2005	48
formal	48
language	45
logic	45
system	44
survey	42
2003	41
semantics	39
1996	38
z	37
confidentiality	36
software	35
textbook	35
programming	35
process-algebra	33
type-flaw	33
composition	32
policy	31
program	31
2001	31
framework	30
theory	29
1995	29
model-checking	29
tool	28
2000	27
introduction	27
authentication	27
automatic	26
1990	26
2002	26
software-engineering	26
mathematics	25
1994	25
1997	25
2004	24
cryptography	24
1992	23
1999	23
1998	22
concurrency	21
probabilistic	19
trace	19
bell-lapadula	18
development	18
safety	18
1987	18
access-control	18
distributed	17
theorem-proving	17
1993	17
circus	16
commercial	16
unwinding	16
needham-schroeder	15
design	15
possibilistic	15
algebraic	15
criticism	14
utp	14
refinement-calculus	14
testing	14
integrity	13
key	13
liveness	13
information	13
hacking	12
search	12
1988	12
1989	12
java	12
data	12
alloy	12
maks	11
ban	11
multi-level	11
nondeterministic	11
fdr	11
requirements	11
engineering	11
case-study	11
preserving	11
bisimulation	11
yahalom	10
1991	10
correctness	10
haskell	10
synthesis	10
event-b	10
ccs	10
strand-space	9
hoare-logic	9
reasoning	9
anonymity	9
nondeducibility	9
channels	9
type-system	9
availability	9
public	9
1981	9
category-theory	9
heuristic	8
constraint-solving	8
knowledge	8
simulation	8
opinion	8
1985	8
dolev-yao	8
operational	8
privacy	8
belief	8
verified-software-repository	8
spi-calculus	8
comparison	8
b-method	8
temporal	8
1986	7
static-analysis	7
tagging	7
separability	7
1978	7
kernel	7
guidance	7
covert	7
compiler	7
1977	7
functional-programming	7
neuman-stubblebine	7
1984	7
automata	7
denotational	6
history	6
type-checking	6
operating-system	6
communication	6
action	6
tutorial	6
transformation	6
executable	6
object-z	6
rodin	6
roundtable	6
replay	6
lattice	5
generalised	5
management	5
transitive	5
jif	5
otway-rees	5
expressiveness	5
stepwise	5
paradox	5
1976	5
decidability	5
structure	5
pi-calculus	5
precondition	5
model-driven	5
grand-challenge	5
mondex	5
role-based-access-control	5
abstraction	5
philosophy	5
uml	5
isabelle	5
1983	5
noninference	5
control-flow	5
file-system	5
coq	5
svo	5
multi-agent	5
predicate-transformer	5
derivation	5
optimisation	5
standard	5
key-establishment	5
state-machine	4
general	4
selective-interleaving	4
1972	4
game-theory	4
quantitative	4
1982	4
gdoi	4
z-eves	4
biba	4
weakest	4
economics	4
tla	4
casper	4
stairs	4
validation	4
posix	4
review	4
guarded	4
distribution	4
network	4
definition	4
equivalence	4
reliability	4
architecture	4
cipher-block-chaining	4
failures	4
web-services	4
object-oriented	4
deterministic	4
labelled-transition-system	4
spa	4
hol	4
axiomatic	4
vdm	4
1980	4
induction	4
time	4
confinement	4
resource-allocation	4
implementation	4
capacity	3
social-processes	3
relational	3
methods	3
chinese-wall	3
larch	3
flaw	3
kerberos	3
principles	3
reconfigurable	3
window	3
perfect	3
advocacy	3
1969	3
unifying	3
linking	3
mechanised	3
athena	3
divergences	3
no-silver-bullet	3
galois-connection	3
lysa	3
predicate	3
certification	3
voting	3
event	3
rewrite	3
trust	3
ponder	3
risk	3
password	3
computer	3
genetic-algorithm	3
recursion	3
godel	3
predicate-calculus	3
raise	3
set-theory	3
1975	3
chaos-report	3
command	3
ada	3
declassification	3
usability	3
decomposition	3
internet	3
accountability	3
flow	3
simulated-annealing	3
abstract-interpretation	3
1979	3
inference-control	3
denial-of-service	3
artificial-intelligence	3
hyperproperty	2
s3a	2
evaluation	2
system-z	2
representation	2
1973	2
1971	2
obligation	2
adaptation	2
prolog	2
dining-cryptographers	2
shadow-semantics	2
tokeneer	2
possible-worlds	2
eiffel	2
timestamp	2
real-time	2
kao-chow	2
dynamic	2
separation-logic	2
mobile	2
quantification	2
relation	2
separation-of-concerns	2
lambda-calculus	2
non-functional	2
records	2
virus	2
spore-library	2
focus	2
avispa	2
hypervisor	2
scyther	2
closure	2
xen-hypervisor	2
research	2
safety-critical	2
andrew-secure-rpc	2
incident-insensitive	2
floating-point	2
translation	2
spi2java	2
parser	2
xenon	2
mix	2
spark	2
retrieve-relation	2
indistinguishable	2
nonce	2
storage	2
guidelines	2
ckt5	2
state-based	2
hru	2
computability	2
animation	2
ibm-cics	2
writing	2
pointers	2
woo-lam	2
theorem	2
assurance	2
clark-wilson	2
aspect-oriented	2
sequential	2
limitations	2
ignorance	2
practical	2
genetic-programming	2
database	2
diagram	2
efficient	2
discretionary-access-control	2
finalisation	2
sat-solver	2
memory	2
reference	2
turing-award	2
guessing	2
contract	2
teaching	2
dictionary	2
separation	2
mandatory-access-control	2
project	2
algorithm	2
separation-of-duty	2
1974	2
csp-oz	2
pattern-matching	2
extraction	2
statistics	2
authenticity	2
emergence	2
capsl	2
functionality	2
operators	2
fm	2
algorithms	2
2010	2
hardware	2
complexity	2
topology	2
indistinguishability-classes	2
restrictiveness	2
multics	2
swift	2
natural	2
rsa	1
numbers	1
timing-channels	1
aggregation	1
visual	1
manifesto	1
non-repudiation	1
monte-carlo	1
common-criteria	1
intel	1
interation	1
conformance	1
collaborative	1
denning-sacco	1
invariant	1
high-assurance	1
finger-tree	1
art	1
anonymization	1
backtracking	1
ordering	1
problem-frame	1
vulnerabilities	1
pingpong	1
synchronisation	1
smart-card	1
bndc	1
jcsp	1
computer-science	1
virtual	1
x509	1
ucon	1
quality	1
declarative	1
curry-howard	1
rcl2000	1
side-channel	1
one-time-pad	1
draft	1
praxis	1
continuous	1
fixed-point	1
deterrent	1
music	1
kiv	1
1962	1
sharing	1
exception-handling	1
unix	1
petri-nets	1
backwards	1
mu-calculus	1
lecture-notes	1
spin	1
scam	1
domain	1
b-toolkit	1
apg	1
usage	1
strategy	1
extreme-programming	1
perfect-security-property	1
conflict-of-interest	1
classes	1
paraconsistent	1
bpp	1
guru	1
human-factors	1
independence	1
exercises	1
transition-axiom	1
xor	1
chosen-name	1
interface	1
retrospective	1
aegis	1
modularity	1
punishment	1
agent	1
cscw	1
maude	1
algebra	1
forwards	1
tls	1
jape	1
seaview	1
self-reference	1
secpal	1
lecture	1
control-law	1
forward-correctability	1
segregation	1
cellphone	1
group	1
ensured-entropy	1
procedure	1
design-by-contract	1
similarity	1
information-theory	1
schema	1
doxastic	1

michaelbanks's noninterference [50 articles] Export

michaelbanks's tags